Module Itv.ItvPure

type t
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal
val pp : F.formatter -> t -> unit
val pp_mark : markup:bool -> F.formatter -> t -> unit
val mone : t
val zero : t
val of_int : int -> t
val lb : t -> Bound.t
val ub : t -> Bound.t
val is_finite : t -> bool
val is_invalid : t -> bool
val is_lb_infty : t -> bool
val is_nat : t -> bool
val is_symbolic : t -> bool
val is_top : t -> bool
val is_zero : t -> bool
val is_one : t -> bool
val is_ge_zero : t -> bool
val is_le_zero : t -> bool
val is_le_mone : t -> bool
val leq : lhs:t -> rhs:t -> bool
val have_similar_bounds : t -> t -> bool
val has_infty : t -> bool
val has_void_ptr_symb : t -> bool
val make_non_negative : t -> t
val join : t -> t -> t
val le_sem : t -> t -> Boolean.t
val lt_sem : t -> t -> Boolean.t
val widen : prev:t -> next:t -> num_iters:int -> t
val xcompare : lhs:t -> rhs:t -> [ `Equal | `LeftSmallerThanRight | `RightSmallerThanLeft | `NotComparable | `LeftSubsumesRight | `RightSubsumesLeft ]
val get_symbols : t -> SymbolSet.t
val neg : t -> t
val plus : t -> t -> t
val minus : t -> t -> t
val succ : t -> t
val mult : t -> t -> t
val exists_str : f:(string -> bool) -> t -> bool