G_interpreter (gillian.Gillian.General.G

module type S = S

module Make
  (Val : Val.S)
  (ESubst : ESubst.S with type vt = Val.t and type t = Val.et)
  (Store : Store.S with type vt = Val.t)
  (State : 
    State.S
      with type vt = Val.t
       and type st = ESubst.t
       and type store_t = Store.t)
  (PC : Command_line.ParserAndCompiler.S)
  (External : Engine.External.T(PC.Annot).S) : 
  sig ... end