module type T = sig .. end
sig
end
A graph.
module V: Alphabet.T
Alphabet.T
Vertices.
module E: Alphabet.T
Edges.
val src : E.t -> V.t
E.t -> V.t
Source.
val tgt : E.t -> V.t
Target.