Parameter `Relation2.C2`

type t

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

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

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

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

Parameter Relation2.C2