Module ids 

Newtype wrappers for SAF entity IDs.

All IDs are u128 values derived from BLAKE3 hashes, ensuring deterministic identification across runs (FR-AIR-002). Newtypes provide type safety and prevent accidental mixing of different ID kinds.

Macros

define_id_type 🔒

Helper macro to define ID newtypes with common implementations.

Structs

BlockId

Unique identifier for a basic block within a function.

FileId

Unique identifier for a source file referenced by spans.

FunctionId

Unique identifier for a function within an AIR module.

InstId

Unique identifier for an instruction.

LocId

Unique identifier for a source location.

ModuleId

Unique identifier for an AIR module.

ObjId

Unique identifier for a memory object (allocation site).

ProgramId

Unique identifier for a whole program (set of linked modules).

TypeId

Unique identifier for a type in the type table.

ValueId

Unique identifier for a value (instruction result, parameter, constant).

Traits

EntityId

Common interface for all SAF entity ID types.

Functions

parse_hex_id 🔒

Parse a hex string (with or without 0x prefix) into a u128.