Functor Dotgraph.Node

module Node: 
functor (M : Map-> sig .. end
Lazily associates a node to any element.
Parameters:
M : Map

type t = M.key 
val get : t -> Dotgraph.node
val node : Dotgraph.dot -> t -> Dotgraph.attr list -> unit
val inode : Dotgraph.dot -> t -> Dotgraph.attr list -> Dotgraph.node
val record : Dotgraph.dot ->
t ->
?rounded:bool -> ?attr:Dotgraph.attr list -> Dotgraph.record -> unit
val irecord : Dotgraph.dot ->
t ->
?rounded:bool -> ?attr:Dotgraph.attr list -> Dotgraph.record -> Dotgraph.node
val clear : unit -> unit
val once : (t -> Dotgraph.node -> unit) -> unit
Executes the callback once for all created nodes. Any previously registered callback by once or push is replaced by the new one.

Warning: the callback is executed as soon as get is called for the first time, possibly interfering with your current output on a dot buffer. To insert additional Dot material with a callback, use push instead.

val push : Dotgraph.dot -> (t -> Dotgraph.node -> unit) -> unit
Pushes the callback once for all created nodes. You must call pop_call at some point to flush them. Any previsously registred callback by once or push is replaced by the new one.
val prefix : string -> unit
Set node prefix. Otherwize, some default one is created for each functor application.