SET.MAKE(3O) - manual page | Library functions

Functor building an implementation of the set structure given a totally ordered type.