module Make:functor (
M
:
sig
type
t
val sexp_of_t :t -> Sexplib.Sexp.t
val compare :t -> t -> int
end
) ->
S
with type t := M.t
Parameters: |
|
type
t
type
comparator_witness
val comparator : (t, comparator_witness) Comparator.comparator