module type G = sig .. end
sig
end
type t
module V: Sig.VERTEX
Sig.VERTEX
val succ : t -> V.t -> V.t list
t -> V.t -> V.t list