Module SHeapTree.Lift

val get_variable : make_node: (name:string -> value:string -> ?children:Gillian.Debugger.Utils.Variable.t list -> unit -> Gillian.Debugger.Utils.Variable.t) -> loc:string -> t -> Gillian.Debugger.Utils.Variable.t