gillian » Gillian » General » External » Dummy

Module External.Dummy

Parameters

moduleAnnot : Gil_syntax.Annot.S

moduleVal : Val.S

moduleESubst : ESubst.S with type vt = Val.t and type t = Val.et

moduleStore : Store.S with type vt = Val.t

moduleState :
  State.S
    with type vt = Val.t
     and type st = ESubst.t
     and type store_t = Store.t

moduleCallstack : Call_stack.S with type vt = Val.t and type store_t = Store.t

Signature

val execute : 'a -> 'b -> 'c -> 'd -> 'e -> 'f -> 'g -> 'h -> 'i