Module type Relude_Interface.ENUM
Module type which describes a type that can be ordered and for which we can determine a lawful chain of successors and predecessors
Relude_Interface.ENUM
Module type which describes a type that can be ordered and for which we can determine a lawful chain of successors and predecessors