Agda.Interaction.Highlighting.Dot
data DotState
initialDotState
type DotM
addModule
addConnection
dottify
generateDot