Functor Deriving_Enum.Defaults'

module Defaults': 
functor (E : sig
type a 
val from_enum : a -> int
val to_enum : int -> a
end-> 
functor (B : Deriving_Bounded.Bounded ±@Ą£ #int°Ą{FP-> Enum @°Ą~FPbĄFPe
Parameters:
E : EzNĄ`EzO@@@°ĄbEzIĄcEzO@@@@@°ĄeEz~ĄfEzO@°ĄhEz~ĄiEz
B : _enum°ĄqFPTĄrFPj@Ą±@Ą£ #int°Ą{FP

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