Tree_block.Range
type t = MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t * MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t
val sem_eq : (MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t * MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t) -> (MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t * MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t) -> MemVal.S_bool.t Sptr.DecayMapMonad.Value.t
val size : (MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t * MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t) -> MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t
val split_at : ('a * 'b) -> 'c -> ('a * 'c) * ('c * 'b)
val offset : (MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t * MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t) -> MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t -> MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t * MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t
val subset_eq : (MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t * MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t) -> (MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t * MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t) -> MemVal.S_bool.t Sptr.DecayMapMonad.Value.t
val strictly_inside : MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t -> (MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t * MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t) -> MemVal.S_bool.t Sptr.DecayMapMonad.Value.t
val inside : MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t -> (MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t * MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t) -> MemVal.S_bool.t Sptr.DecayMapMonad.Value.t
val of_low_and_size : MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t -> MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t -> MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t * MemVal.S_bounded_int.t Sptr.DecayMapMonad.Value.t
val pp : Stdlib.Format.formatter -> ('a Sptr.DecayMapMonad.Value.t * 'b Sptr.DecayMapMonad.Value.t) -> unit