Functor Category.Free

module Free: 
functor (G : Graph.T) -> sig .. end

module V: G.V

module M: Monoid.Free(G.E)

module E: Alphabet.Prod3(V)(M)(V)

val src : 'a * 'b * 'c -> 'a

val tgt : 'a * 'b * 'c -> 'c

val id : 'a -> 'a * M.t * 'a

val comp : 'a * M.t * V.t ->
       V.t * M.t * 'b -> 'a * M.t * 'b