Parameter `Relation4.C4`

type t

val print : Stdlib.Format.formatter -> C4.t -> unit

module Set : Flambda2_algorithms.Container_types.Set with type elt = C4.t

module Map : 
  Flambda2_algorithms.Container_types.Map_plus_iterator
    with type key = C4.t
    with module Set = C4.Set

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

Parameter Relation4.C4