CVal (gillian.Engine.CVal)

module M : 
  Gillian.General.Val.S
    with type t = Gillian.Gil_syntax.Literal.t
     and type st = Gillian.Concrete.Subst.t
     and type et = CESubst.t

module CSubst : 
  Gillian.General.Subst.S with type vt = Gillian.Concrete.Values.t

module CESubst : 
  Gillian.General.ESubst.S with type vt = Gillian.Concrete.Values.t