BO.Ints
module F = Stdlib.Format
module NonZeroInt : sig ... end
module NonNegativeInt : sig ... end
module PositiveInt : sig ... end