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