Ints.PositiveInt
type t = private NonNegativeInt.t
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
val one : t
val of_big_int : Z.t -> t option
val succ : t -> t
val pp_exponent : F.formatter -> t -> unit