Module Debugger_utils.Variable

Representation of variables for the debugger

type scope = Gillian.Debugger.Utils.Variable.scope = {
  1. name : string;
  2. id : int;
}

Describes a variable scope (e.g. store, heap, pure formulae)

type t = Gillian.Debugger.Utils.Variable.t = {
  1. name : string;
  2. value : string;
  3. type_ : string option;
  4. var_ref : int;
}

A variable

val make : name:string -> value:string -> ?type_:string -> ?var_ref:int -> unit -> t
type ts = (int, t list) Utils.Prelude.Hashtbl.t

A map of scope IDs to variables

val create_leaf : string -> string -> ?type_:string option -> unit -> t
val create_node : string -> int -> ?value:string -> unit -> t
val top_level_scopes : scope list