module Make1:functor (
M
:
sig
type
'a
tval compare :'a t -> 'a t -> int
val sexp_of_t :'a t -> Sexplib.Sexp.t
end
) ->
S1
with type 'a t := 'a M.t
Parameters: |
|
type 'a
t
type
comparator_witness
val comparator : ('a t, comparator_witness) Comparator.comparator