Range (soteria-c.Soteria_c_lib.Csymex.Tree

type t =
  MemVal.S_bounded_int.t CSYMEX.Value.t * MemVal.S_bounded_int.t CSYMEX.Value.t

val sem_eq : 
  (MemVal.S_bounded_int.t CSYMEX.Value.t
   * MemVal.S_bounded_int.t CSYMEX.Value.t) ->
  (MemVal.S_bounded_int.t CSYMEX.Value.t
   * MemVal.S_bounded_int.t CSYMEX.Value.t) ->
  MemVal.S_bool.t CSYMEX.Value.t

val size : 
  (MemVal.S_bounded_int.t CSYMEX.Value.t
   * MemVal.S_bounded_int.t CSYMEX.Value.t) ->
  MemVal.S_bounded_int.t CSYMEX.Value.t

val split_at : ('a * 'b) -> 'c -> ('a * 'c) * ('c * 'b)

val offset : 
  (MemVal.S_bounded_int.t CSYMEX.Value.t
   * MemVal.S_bounded_int.t CSYMEX.Value.t) ->
  MemVal.S_bounded_int.t CSYMEX.Value.t ->
  MemVal.S_bounded_int.t CSYMEX.Value.t * MemVal.S_bounded_int.t CSYMEX.Value.t

val subset_eq : 
  (MemVal.S_bounded_int.t CSYMEX.Value.t
   * MemVal.S_bounded_int.t CSYMEX.Value.t) ->
  (MemVal.S_bounded_int.t CSYMEX.Value.t
   * MemVal.S_bounded_int.t CSYMEX.Value.t) ->
  MemVal.S_bool.t CSYMEX.Value.t

val strictly_inside : 
  MemVal.S_bounded_int.t CSYMEX.Value.t ->
  (MemVal.S_bounded_int.t CSYMEX.Value.t
   * MemVal.S_bounded_int.t CSYMEX.Value.t) ->
  MemVal.S_bool.t CSYMEX.Value.t

val inside : 
  MemVal.S_bounded_int.t CSYMEX.Value.t ->
  (MemVal.S_bounded_int.t CSYMEX.Value.t
   * MemVal.S_bounded_int.t CSYMEX.Value.t) ->
  MemVal.S_bool.t CSYMEX.Value.t

val of_low_and_size : 
  MemVal.S_bounded_int.t CSYMEX.Value.t ->
  MemVal.S_bounded_int.t CSYMEX.Value.t ->
  MemVal.S_bounded_int.t CSYMEX.Value.t * MemVal.S_bounded_int.t CSYMEX.Value.t

val pp : 
  Stdlib.Format.formatter ->
  ('a CSYMEX.Value.t * 'b CSYMEX.Value.t) ->
  unit