Module Classic

module Classic: sig .. end

module type S = sig .. end

module P: 
functor (G : Sig.P  with type V.label = int) -> S  with type graph = G.t

module I: 
functor (G : Sig.I  with type V.label = int) -> S  with type graph = G.t