module Make:
Make
builds a set from an element type that has a compare
function but doesn't
have a comparator. This generates a new comparator.
Make_binable
is similar, except the element and set types support bin_io
.
Parameters: |
|