Layer layout
The boundary between the layer's tracked and local halves, checked against the layouts their contracts declare: what lives where, and what must never appear there (I1102).
The boundary between the layer's tracked and local halves, checked against the layouts their contracts declare: what lives where, and what must never appear there (I1102).
- module layout
- builtin
- behaviorally_verified
- 1 capabilities
Capabilities
Each composed in this module's file; each with its own page.