module MSin: Map.Make(sig type t = G.V.t * G.t Pervasives.ref val compare : G.vertex * 'a -> G.vertex * G.t Pervasives.ref -> intend)
Map.Make
(
sig
type t = G.V.t * G.t Pervasives.ref
G.V.t * G.t Pervasives.ref
val compare : G.vertex * 'a -> G.vertex * G.t Pervasives.ref -> int
G.vertex * 'a -> G.vertex * G.t Pervasives.ref -> int
end
)