| 15 | | For example, `Id` gets a field of type `StatusCC Id`. |
| | 15 | For example, `Id` gets a field of type `StatusCC Id`. Declarations can be in one of three categories: |
| | 16 | * `NoCC`: We did not convert that declaration, either because it was declared in an unconverted module or because it uses some feature that prevents conversion. |
| | 17 | * `AsIsCC`: The original declaration can be directly used in converted code. It's converted form is identical to the original (e.g., type declarations not involving arrows directly or indirectly). |
| | 18 | * `ConvCC decl`: The variant `decl` is the closure converted form of the original declaration. |
