module VE : sig ... end
module S : sig ... end
module E : sig ... end
type edge = E.t
exception Found of edge
module I : sig ... end
module PV = I.PV
module PE = E
Blocks.BidirectionalLabeled
module V : Sig.COMPARABLE
module E : Sig.ORDERED_TYPE
module HM : sig ... end