radix-lane

Braced canonical @ radix lane routing record for the Rust HIR-direct lane.

Syntax: @ radix { lane = \"hir-direct\" }

Category

lane

Related

• radix
• annotation-sugar

Examples

examples/corpus/annotation-sugar/radix-lane-braced.fab (canonical · annotation)

Braced canonical @ radix lane routing record for the Rust HIR-direct lane.

@ radix { lane = "hir-direct" }
functio loss() → numerus {
    redde 1
}

incipit {
    nota loss()
}

Expected output:

1