Module type T.S

Parameters

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 Call_stack : Call_stack.S with type vt = Val.t and type store_t = Store.t

Signature

val execute : (Annot.t, int) 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