Module type AcyclicGraph.Point
module Constraints : CSet.S with type S.elt = t * constraint_type * t
type explanation
= (constraint_type * t) list
val error_inconsistency : constraint_type -> t -> t -> explanation lazy_t option -> 'a
val pr : t -> Pp.t