Module register_view 

The register view retag adapter the assembler inserts between register ports of different lane typings, and the register-port predicate it keys on (type_system_alignment.md §8.4 layer 2).

Structs

RegView

Pass-through guard that retags a register word’s view. The bits are untouched — this is the materialized form of “views are free bitcasts” for intra-graph wires whose producer and consumer declare different lane typings. Auto-inserted by compile::assembly::auto_adapter for every reg→reg pair; rarely instantiated by hand.

Functions

is_reg_port

true when t is any register-plane PortType.