Module backend 

Backend trait and registry for multi-backend compilation

Every compiler backend (ARM, aWsm, wasker, w2c2) implements the Backend trait, allowing the CLI and verification framework to treat them uniformly.

Structs

BackendCapabilities

What a backend can and cannot do

BackendRegistry

Registry of available backends

CodeRelocation

A relocation entry produced during compilation

CompilationResult

Result of compiling a full module

CompileConfig

Configuration for a compilation run

CompiledFunction

A single compiled function

Enums

BackendError

Errors from backend compilation

SafetyBounds

Memory-bounds safety strategy. Phase 1 of docs/binary-safety-design.md §3.1.

Traits

Backend

Trait that every compilation backend implements