sig
type t
val to_int : Extlib.Number.Discrete.t -> int
val succ : Extlib.Number.Discrete.t -> Extlib.Number.Discrete.t
val pred : Extlib.Number.Discrete.t -> Extlib.Number.Discrete.t
val ( -- ) :
Extlib.Number.Discrete.t ->
Extlib.Number.Discrete.t -> Extlib.Number.Discrete.t Extlib.Enum.t
val ( --- ) :
Extlib.Number.Discrete.t ->
Extlib.Number.Discrete.t -> Extlib.Number.Discrete.t Extlib.Enum.t
end