General.ESubst
Interface for GIL Extended Substitutions (e-substitutions)
GIL e-substitutions are (mutable) mappings from GIL Variables to GIL Values.
module type S = Gillian.General.ESubst.S
module Make = Engine.ESubst.Make