External (gillian.Gillian.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