Module type BatNumber.Discrete

module type Discrete = sig .. end

type discrete 

val to_int : discrete -> int

val succ : discrete -> discrete

val pred : discrete -> discrete

val (--) : discrete ->
       discrete -> discrete BatEnum.t

val (---) : discrete ->
       discrete -> discrete BatEnum.t