Module SSA.StateNode

The type of states: a free algebra of the domain signature

type t = private
  1. | Entrypoint
  2. | Loc of Ast.Program.Loc.t
  3. | Assume of Ast.Program.SSAExpr.t * SSA_State.t
  4. | Join of StateBindingsSet.t