Agda.Interaction.EmacsCommand
data Lisp a
response
putResponse
display_info'
display_warning
clearRunningInfo
clearWarning
displayRunningInfo