Module Debugger_utils.Variable

Representation of variables for the debugger

type scope = {
  1. name : string;
  2. id : int;
}

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

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

A variable

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