Module `Ints.NonNegativeInt`

type t = private Z.t

val compare : t -> t -> int

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