Warning: Reason support is experimental. We are looking for beta-tester and contributors.

Functor Deriving_Enum.Defaults'

module Defaults' : functor (E : sig      type a      val from_enum : a -> int      val to_enum : int -> aend) -> 
  functor (B : Deriving_Bounded.Bounded     with type a = E.a) ->
  Enumwith type a = B.a

Parameters :

E:sig type a val from_enum : a -> int val to_enum : int -> a end
B:Deriving_Bounded.Bounded with type a = E.a

type a
val succ : a -> a
val pred : a -> a
val to_enum : int -> a
val from_enum : a -> int
val enum_from : a -> a list
val enum_from_then : 
  a ->
  a -> a list
val enum_from_to : 
  a ->
  a -> a list
val enum_from_then_to : 
  a ->
  a ->
  a -> a list