Module Ortac_runtime_qcheck_stm.Gospelstdlib
Arithmetic
Comparisons
Bitwise operations
Machine integers
val integer_of_int : int -> integer
val int_of_integer : integer -> int
Couples
val fst : ('a * 'b) -> 'a
val snd : ('a * 'b) -> 'b
References
val (~!) : 'a Stdlib.ref -> 'a
Sequences
Lists
module List : sig ... end
Arrays
module Array : sig ... end
Bags
Sets
val __mix_Bmgb : ('a -> 'b) -> 'a -> 'b -> 'a -> 'b
module Order : sig ... end