Index of types


D
data [State_builder.Ref]
Type of the referenced value.

E
elt [Hptset.S]
The type of the set elements.

N
nodes [Compute_impact]

R
reason [Reason_graph]
reason_type [Reason_graph]
Why is a node impacted.
result [Compute_impact]

T
t [Reason_graph.Printer.E]
t [Reason_graph.Printer.V]
t [Reason_graph.Printer]
todo [Compute_impact]
todolist [Compute_impact]

W
worklist [Compute_impact]
Worklist maintained by the plugin to build its results