`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`