A | |
| abstract_value [Region_analysis_sig.Node] | |
| abstract_value [Region_analysis_stmt.M] | |
D | |
| data [State_builder.Hashtbl] | |
E | |
| edge [Region_analysis_sig] | |
| elt [Set.S] | The type of the set elements. |
K | |
| key [State_builder.Hashtbl] | |
N | |
| node [Region_analysis_sig.Node] | |
T | |
| t [Region_analysis_sig.Node.Edge_Dict] | |
| t [Set.S] | The type of sets. |
| t [Region_analysis_sig.Node.Dict] |