Dummy (gillian.Gillian.General.External.Dummy)

Parameters

module Annot : Gil_syntax.Annot.S

module Val : Val.S

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

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

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

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

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