Up
–
qed
»
Qed
» Mergeset
Module
Qed.Mergeset
Merging Set Functor
module
type
Elt
=
sig
...
end
module
Make
(
E
:
Elt
) :
sig
...
end