External (gillian.Bulk.Outcome.Make

Parameters

module Val : Gillian.General.Val.S

module ESubst : sig ... end

module Store : sig ... end

module State : sig ... end

module Call_stack : sig ... end

Signature

val execute : 
  (PC.Annot.t, int) Gillian.Gil_syntax.Prog.t ->
  State.t ->
  Call_stack.t ->
  int ->
  string ->
  string ->
  Val.t list ->
  int option ->
  (State.t * Call_stack.t * int * int) list