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