Modules§
Traits§
- Index
- Exact native buffer identity and its nonzero storage bounds.
- Pool
- A native receive pool paired with its exact projection context.
- Recycle
- Consumes receive ownership through its native return mechanism.
- Selection
- Exact native selection failure retains the caller’s admitted buffer layout.
- Source
- Selects native receive ownership while retaining the caller’s layout proof.