Parameter `Relation1.C`

type t

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

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

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

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

Parameter Relation1.C