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