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