Module Tree_block.Node

type qty =
  1. | Partially
  2. | Totally
val pp_qty : Stdlib.Format.formatter -> qty -> unit
val merge_qty : qty -> qty -> qty
type t
val pp : Stdlib.Format.formatter -> MemVal.t Soteria__Sym_states__Tree_block.node -> unit
val is_empty : 'a Soteria__Sym_states__Tree_block.node -> bool
val is_fully_owned : 'a Soteria__Sym_states__Tree_block.node -> bool
val assert_exclusively_owned : MemVal.t Soteria__Sym_states__Tree_block.node -> (unit, 'a, MemVal.syn list) CSYMEX.Result.t
val merge : left:MemVal.t Soteria__Sym_states__Tree_block.node -> right:MemVal.t Soteria__Sym_states__Tree_block.node -> MemVal.t Soteria__Sym_states__Tree_block.node * bool
val split : at:MemVal.S_bounded_int.t CSYMEX.Value.t -> MemVal.t Soteria__Sym_states__Tree_block.node -> ((MemVal.t Soteria__Sym_states__Tree_block.node, MemVal.S_bounded_int.t CSYMEX.Value.t) Split_tree.t * (MemVal.t Soteria__Sym_states__Tree_block.node, MemVal.S_bounded_int.t CSYMEX.Value.t) Split_tree.t) CSYMEX.t