SHeapTree.Range
type t = Gillian.Gil_syntax.Expr.t * Gillian.Gil_syntax.Expr.t
val of_low_and_chunk : Gillian.Gil_syntax.Expr.t -> Chunk.t -> t
val of_low_chunk_and_size : Gillian.Gil_syntax.Expr.t -> Chunk.t -> Gillian.Gil_syntax.Expr.t -> t