Module Graph.Presentation.EM

module EM: Alphabet.Map(E)(Alphabet.Prod(V)(V))

module M: Stdlib.Map.Make(A)

type t = B.t M.t 

val empty : t

val app : t -> A.t -> B.t

val add : 'a M.t -> M.key -> 'a -> 'a M.t

val iter : (M.key -> 'a -> unit) -> 'a M.t -> unit