functor
(
M
:
Creators2_with_comparator
)
->
sig
end