Module `Column.Make`

Parameters

module X : sig ... end

type t = int

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) id