Bounds.NonNegativeBound
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
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 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