compiler-libs.optcomp
Datalog_helpers.One
compiler-libs.bytecomp
compiler-libs.common
compiler-libs.toplevel
dynlink
eval
jit
runtime_events
stdlib
stdlib_alpha
stdlib_beta
stdlib_stable
stdlib_upstream_compatible
str
threads
unix
type t
val print : Format.formatter -> t -> unit
module Set : Flambda2_algorithms.Container_types.Set with type elt = t
module Map : Flambda2_algorithms.Container_types.Map_plus_iterator with type key = t
val datalog_column_id : ('a Map.t, t, 'a) Syntax.Column.id
val top : t
val flag : (unit Map.t, t -> Syntax.nil, unit) Syntax.table -> [> `Atom of Syntax.atom ]
val to_bool : unit Map.t -> bool
val of_bool : bool -> unit Map.t
val cols : (unit Map.t, t -> Syntax.nil, unit) Syntax.Column.hlist