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

Input signature of the functor Set.Make.