sig
  type key
  type 'a t
  val empty : 'Dotgraph.Map.t
  val find : Dotgraph.Map.key -> 'Dotgraph.Map.t -> 'a
  val add : Dotgraph.Map.key -> '-> 'Dotgraph.Map.t -> 'Dotgraph.Map.t
end