General.Subst
Interface for GIL Substitutions. GIL substitutions are mappings from GIL Variables to GIL Values. GIL substitutions are mutable.
module type S = Gillian.General.Subst.S
module Make = Engine.Subst.Make