sig   type discrete   val to_int : BatNumber.Discrete.discrete -> int   val succ : BatNumber.Discrete.discrete -> BatNumber.Discrete.discrete   val pred : BatNumber.Discrete.discrete -> BatNumber.Discrete.discrete   val ( -- ) :     BatNumber.Discrete.discrete ->     BatNumber.Discrete.discrete -> BatNumber.Discrete.discrete BatEnum.t   val ( --- ) :     BatNumber.Discrete.discrete ->     BatNumber.Discrete.discrete -> BatNumber.Discrete.discrete BatEnum.t end