Module Ortac_runtime_qcheck_stm.Gospelstdlib

type 'a sequence
type 'a bag
type 'a set

Arithmetic

val succ : integer -> integer
val pred : integer -> integer
val (~-) : integer -> integer
val (+) : integer -> integer -> integer
val (-) : integer -> integer -> integer
val (*) : integer -> integer -> integer
val (/) : integer -> integer -> integer
val (mod) : integer -> integer -> integer
val pow : integer -> integer -> integer
val abs : integer -> integer
val min : integer -> integer -> integer
val max : integer -> integer -> integer

Comparisons

val (>) : integer -> integer -> bool
val (>=) : integer -> integer -> bool
val (<) : integer -> integer -> bool
val (<=) : integer -> integer -> bool

Bitwise operations

val logand : integer -> integer -> integer
val logor : integer -> integer -> integer
val logxor : integer -> integer -> integer
val lognot : integer -> integer
val shift_left : integer -> integer -> integer
val shift_right : integer -> integer -> integer
val shift_right_trunc : integer -> integer -> integer

Machine integers

val integer_of_int : int -> integer
val max_int : integer
val min_int : integer

Couples

val fst : ('a * 'b) -> 'a
val snd : ('a * 'b) -> 'b

References

val (~!) : 'a Stdlib.ref -> 'a

Sequences

val (++) : 'a sequence -> 'a sequence -> 'a sequence
val __mix_Bub : 'a sequence -> integer -> 'a
val __mix_Buddub : 'a sequence -> integer -> integer -> 'a sequence
val __mix_Buddb : 'a sequence -> integer -> 'a sequence
val __mix_Bddub : 'a sequence -> integer -> 'a sequence
module Sequence : sig ... end

Lists

module List : sig ... end

Arrays

module Array : sig ... end

Bags

module Bag : sig ... end

Sets

val __mix_Cc : 'a set
module Set : sig ... end
val __mix_Bmgb : ('a -> 'b) -> 'a -> 'b -> 'a -> 'b
module Map : sig ... end
module Order : sig ... end
module Sys : sig ... end