Module Ints.NonNegativeInt

type t = private Z.t
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
val zero : t
val one : t
val of_big_int : Z.t -> t option
val of_int_exn : int -> t
val of_big_int_exn : Z.t -> t
val to_int_exn : t -> int
val is_zero : t -> bool
val is_one : t -> bool
val leq : lhs:t -> rhs:t -> bool
val succ : t -> t
val log2_ceil_exn : t -> t
val (+) : t -> t -> t
val (*) : t -> t -> t
val pp : F.formatter -> t -> unit