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