Module Range.Lift

val as_variables : make_node: (name:string -> value:string -> ?children:Gillian.Debugger.Utils.Variable.t list -> unit -> Gillian.Debugger.Utils.Variable.t) -> (Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t) -> Gillian.Debugger.Utils.Variable.t list