module Consolidation_graph: sig .. end
sig
end
type t
val get : Property.t -> t
Property.t -> t
val dump : t -> Format.formatter -> unit
t -> Format.formatter -> unit