gillian » Gillian » General » G_interpreter

Module General.G_interpreter

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