Parameter `Relation2.C1`

type t

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

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

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

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

Parameter Relation2.C1