Module SSA_Lift.State

The state contains:

type t = {
  1. var_store : Ast.Program.SSAExpr.t Ast.Program.VarMap.t;
  2. ssa_state : SSA.SSA_State.t;
}
include Std_extra.Types.TYPE with type t := t
include Std_extra.Types.PRINTABLE with type t := t
val compare : t -> t -> int
val order : t -> t -> Std_extra.Types.order
val equal : t -> t -> bool
val hash : t -> int