Module Property_status.Consolidation_graph

module Consolidation_graph: sig .. end

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 -> Format.formatter -> unit