D | |
| data [State_builder.Hashtbl] | |
| deps [Function_Froms.Deps] | |
| deps_or_unassigned [Function_Froms.DepsOrUnassigned] |
The lattice is
DepsBottom <= Unassigned, DepsBottom <= AssignedFrom z,
Unassigned <= MaybeAssignedFrom and
AssignedFrom z <= MaybeAssignedFrom z.
|
F | |
| froms [Function_Froms] | |
K | |
| key [State_builder.Hashtbl] | |
R | |
| return [Function_Froms.Memory] |