gillian » Gillian » General » External » T

Module External.T

Parameters

moduleAnnot : Gil_syntax.Annot.S

Signature

module type S =
  functor (Val : Val.S) ->
  functor (ESubst : ESubst.S with type vt = Val.t and type t = Val.et) ->
  functor (Store : Store.S with type vt = Val.t) ->
  functor (State : State.S
                     with type vt = Val.t
                      and type st = ESubst.t
                      and type store_t = Store.t) ->
  functor (Call_stack : Call_stack.S
                          with type vt = Val.t
                           and type store_t = Store.t) ->
  sig ... end