You can search for identifiers within the package.
in-package search v0.2.0
ortac-runtime-qcheck-stm
Ortac_runtime_qcheck_stm.Gospelstdlib
type 'a sequence
type 'a bag
type 'a set
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
val (>) : integer -> integer -> bool
val (>=) : integer -> integer -> bool
val (<) : integer -> integer -> bool
val (<=) : integer -> integer -> bool
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
val integer_of_int : int -> integer
val max_int : integer
val min_int : integer
val fst : ('a * 'b) -> 'a
val snd : ('a * 'b) -> 'b
val (~!) : 'a ref -> 'a
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
module List : sig ... end
module Array : sig ... end
module Bag : sig ... end
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