SVal (gillian.Engine.SVal)

module L = Logging

module M : 
  Gillian.General.Val.S
    with type t = Gillian.Gil_syntax.Expr.t
     and type st = SSubst.t
     and type et = Gillian.Symbolic.Subst.t

module SESubst : 
  Gillian.General.ESubst.S with type vt = Gillian.Symbolic.Values.t

module SSubst : 
  Gillian.General.Subst.S with type vt = Gillian.Symbolic.Values.t