SSA_Lift.State
The state contains:
var_store
: a mapping from IMP variables Var.t
to their current SSA expressions SSAExpr.t
ssa_state
: the current SSA stateinclude Std_extra.Types.TYPE with type t := t
include Std_extra.Types.PRINTABLE with type t := t
val pp : t Std_extra.Types.pp
val order : t -> t -> Std_extra.Types.order
val hash : t -> int