Property_status.Consolidation_graph
See the consolidated status of a property in a graph, which all its dependencies and their consolidated status.
type t
val get : Property.t -> t
val dump : t -> Stdlib.Format.formatter -> unit