Parameter `Relation3.C3`

type t

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

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

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

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

Parameter Relation3.C3