gillian » Gillian » Debugger » Utils » Variable

Module Utils.Variable

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

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