Module type BatNumber.Discrete

module type Discrete = sig .. end

type t 

val to_int : t -> int

val succ : t -> t

val pred : t -> t

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

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