module Dot: functor (X : AdditionalInfo) -> Graph.Graphviz.Dot(Printer(X))
functor (
X
:
AdditionalInfo
) ->
Graph.Graphviz.Dot
(
Printer
)