compiler-libs.optcomp
Flambda2_reaper.Cofield
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 view = private
| Param of int
type t
val view : t -> view
val param : int -> t
include Flambda2_datalog.Datalog.Column.S with type t := 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 with module Set = Set
val datalog_column_id : ('a Map.t, t, 'a) Flambda2_datalog.Datalog.Column.id