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