Translators.EqConstrSysFromGlobConstrSys
Translate a DemandGlobConstrSys
into a DemandEqConstrSys
module S : ConstrSys.DemandGlobConstrSys
include ConstrSys.EqConstrSys
with type v = ConstrSys.Var2(S.LVar)(S.GVar).t
with type d = Lattice.Lift2(S.G)(S.D).t
with module Var = ConstrSys.Var2(S.LVar)(S.GVar)
with module Dom = Lattice.Lift2(S.G)(S.D)
type v = ConstrSys.Var2(S.LVar)(S.GVar).t
type d = Lattice.Lift2(S.G)(S.D).t
module Var = ConstrSys.Var2(S.LVar)(S.GVar)
Variables must be hashable, comparable, etc.
module Dom = Lattice.Lift2(S.G)(S.D)
Values must form a lattice.
val sys_change : (v -> d) -> v ConstrSys.sys_change_info
Compute incremental constraint system change from old solution.