module Map: Map.Make(sig
Map.Make
(
sig
type t = Diagrams.Transfo.Pet.u
Diagrams.Transfo.Pet.u
val compare : t -> t -> int
t -> t -> int
end)
end
)