Module type Relude_Interface.BOUNDED_ENUM
Module type which describes a type that can be ordered and for which we can determine a lawful chain of successors and predecessors, and there is a top and bottom bound.
Relude_Interface.BOUNDED_ENUM
Module type which describes a type that can be ordered and for which we can determine a lawful chain of successors and predecessors, and there is a top and bottom bound.