Parameter External.Call_stack

type vt = Val.t
type store_t = Store.t
type stack_element = {
  1. pid : string;
  2. arguments : vt list;
  3. store : store_t option;
  4. loop_ids : string list;
  5. ret_var : Gillian.Gil_syntax.Var.t;
  6. call_index : int;
  7. continue_index : int;
  8. error_index : int option;
}
val stack_element_to_yojson : stack_element -> Yojson.Safe.t
val stack_element_of_yojson : Yojson.Safe.t -> stack_element Ppx_deriving_yojson_runtime.error_or
type t = stack_element list
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val empty : t
val push : t -> pid:string -> arguments:vt list -> ?store:store_t -> loop_ids:string list -> ret_var:Gillian.Gil_syntax.Var.t -> call_index:int -> continue_index:int -> ?error_index:int -> unit -> t
val get_cur_proc_id : t -> string
val get_cur_args : t -> vt list
val get_loop_ids : t -> string list
val copy : t -> t
val get_cur_procs : t -> string list
val recursive_depth : t -> string -> int
val pp : Stdlib.Format.formatter -> t -> unit