gillian » Gillian » General » External

Module General.External

module T (Annot : Gil_syntax.Annot.S) : sig ... end

module Dummy
  (Annot : Gil_syntax.Annot.S)
  (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)
  (Callstack : Call_stack.S with type vt = Val.t and type store_t = Store.t) :
  sig ... end