(*
These are the real functions to add eq/ge/gt constraints
to the passed graph, returning an updated graph or raising
UniverseInconsistency
*)
val add_eq:
(*
These are the real functions to add eq/ge/gt constraints
to the passed graph, returning an updated graph or raising
UniverseInconsistency
*)
val add_eq: