Map
.
Make
(
struct
type
t' = t
type
t=t'
let
compare=compare
end
)