NonNegativeBound (infer.BO.Bounds.NonNegativeBound)

type t

include Ppx_compare_lib.Comparable.S with type t := t

val compare : t Base__Ppx_compare_lib.compare

val leq : lhs:t -> rhs:t -> bool

val join : t -> t -> t

val widen : prev:t -> next:t -> num_iters:int -> t

val of_loop_bound : IBase.Location.t -> Bound.t -> t

val of_modeled_function : string -> IBase.Location.t -> Bound.t -> t

val of_big_int : trace:BoundTrace.t -> Z.t -> t

val pp : hum:bool -> Stdlib.Format.formatter -> t -> unit

val make_err_trace : t -> string * Absint.Errlog.loc_trace

val mask_min_max_constant : t -> t

val zero : IBase.Location.t -> t

val int_lb : t -> Ints.NonNegativeInt.t

val int_ub : t -> Ints.NonNegativeInt.t option

val classify : t -> (Ints.NonNegativeInt.t, t, BoundTrace.t) valclass

val subst : 
  IR.Procname.t ->
  IBase.Location.t ->
  t ->
  Bound.eval_sym ->
  (Ints.NonNegativeInt.t, t, BoundTrace.t) valclass

val split_mult : t -> (t * t) option