module LocMap: Map.Make(sig
Map.Make
(
sig
type t = Types.loc
Types.loc
val compare : 'a -> 'a -> int
'a -> 'a -> int
end)
end
)