Module Ortac_runtime.GospelstdlibSource

Sourcetype 'a sequence
Sourcetype 'a bag
Sourcetype 'a set

Arithmetic

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

Comparisons

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

Bitwise operations

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

Machine integers

Sourceval integer_of_int : int -> integer
Sourceval int_of_integer : integer -> int
Sourceval max_int : integer
Sourceval min_int : integer

Couples

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

References

Sourceval (~!) : 'a ref -> 'a

Sequences

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

Lists

Sourcemodule List : sig ... end

Arrays

Sourcemodule Array : sig ... end

Bags

Sourcemodule Bag : sig ... end

Sets

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