Next: Signed Units Up: Signatures Previous: Signatures

### Flattening Signatures

For various purposes, signatures must be flattened into a linear sequence of variables:

- All variable name elements of the signature are included in the flattened signature.
- For each sub-signature element named s, the sub-signature is flattened, and then each variable name in the flattened sub-signature is prefixed with `s:` and included in the flattened signature.