functor (M : Map->
  sig
    type t = M.key
    val get : Dotgraph.Node.t -> Dotgraph.node
    val node : Dotgraph.dot -> Dotgraph.Node.t -> Dotgraph.attr list -> unit
    val inode :
      Dotgraph.dot -> Dotgraph.Node.t -> Dotgraph.attr list -> Dotgraph.node
    val record :
      Dotgraph.dot ->
      Dotgraph.Node.t ->
      ?rounded:bool -> ?attr:Dotgraph.attr list -> Dotgraph.record -> unit
    val irecord :
      Dotgraph.dot ->
      Dotgraph.Node.t ->
      ?rounded:bool ->
      ?attr:Dotgraph.attr list -> Dotgraph.record -> Dotgraph.node
    val clear : unit -> unit
    val once : (Dotgraph.Node.t -> Dotgraph.node -> unit) -> unit
    val push :
      Dotgraph.dot -> (Dotgraph.Node.t -> Dotgraph.node -> unit) -> unit
    val prefix : string -> unit
  end