Is it a way to access to the "comment" parts of an abstract syntax tree? they
appear as {^comment_s[comment ... , comment ... , ...]} using the default
prettyprinter. I would like to implement message system using the comments
allowed in my formalism...
Guy DURRIEU.