sig
  module V : Alphabet.T
  module E : Alphabet.T
  val src : E.t -> V.t
  val tgt : E.t -> V.t
end