Parameter Defaults'.E

type a
val from_enum : a -> int
val to_enum : int -> a