Intf (gillian.Engine.G_interpreter

module type S = Gillian.General.G_interpreter.S

module Make
  (Val : Gillian.General.Val.S)
  (ESubst : Gillian.General.ESubst.S with type vt = Val.t and type t = Val.et)
  (Store : Gillian.General.Store.S with type vt = Val.t)
  (State : 
    Gillian.General.State.S
      with type vt = Val.t
       and type st = ESubst.t
       and type store_t = Store.t)
  (PC : Gillian.Command_line.ParserAndCompiler.S)
  (External : Engine.External.T(PC.Annot).S) : 
  Gillian.General.G_interpreter.S
    with type vt = Val.t
     and type st = ESubst.t
     and type store_t = Store.t
     and type state_t = State.t
     and type state_err_t = State.err_t
     and type state_vt = State.vt
     and type heap_t = State.heap_t
     and type init_data = State.init_data
     and type annot = PC.Annot.t