Module type Numeric.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 Enum.t
val (---) : t ->
t -> t Enum.t