Agda.Syntax.Parser.Comments

keepComments

keepCommentsM

nestedComment

hole

skipBlock