| beginCompilationUnit(sealed) |
| beginMetadataStar(sealed) |
| endMetadataStar(0) |
| beginClassOrMixinOrNamedMixinApplicationPrelude(mixin) |
| handleIdentifier(M, classOrMixinDeclaration) |
| handleNoTypeVariables({) |
| beginMixinDeclaration(null, sealed, null, null, null, mixin, M) |
| handleMixinOn(null, 0) |
| handleImplements(null, 0) |
| handleMixinHeader(mixin) |
| beginClassOrMixinOrExtensionBody(DeclarationKind.Mixin, {) |
| endClassOrMixinOrExtensionBody(DeclarationKind.Mixin, 0, {, }) |
| endMixinDeclaration(mixin, }) |
| endTopLevelDeclaration() |
| endCompilationUnit(1, ) |
