Parameter `Relation4.C4`

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
    with module Set = Set

val datalog_column_id : ('a Map.t, t, 'a) Column.id

Parameter Relation4.C4