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