module MarkerMap: Map.Make(sig
Map.Make
(
sig
type t = Box.marker
Box.marker
val compare : Box.marker -> Box.marker -> int
Box.marker -> Box.marker -> int
end)
end
)