Index of types

D
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]
R
return [Function_Froms.Memory]