module Check_creators3_with_comparator:functor (
M
:
Creators3_with_comparator
) ->
Check_creators
(
sig
type('a, 'b, 'c)
t =('a, 'b, 'c) M.t
end
)
(
sig
type('a, 'b, 'c)
t =('a, 'b, 'c) M.tree
end
)
(
sig
type'a
t ='a
end
)
(
With_comparator
)
(
M
)
Parameters: |
|