module feature

irx.builder.runtime.list.feature

Source: packages/irx/src/irx/builder/runtime/list/feature.py:1

Dynamic-list runtime feature declarations.

Declare append, checked status, index, and idempotent storage destruction for IRX lists. Language-level cleanup insertion remains owned by semantic ownership metadata and lowering.

Functions

• _declare_list_append — Declare the dynamic-list append helper.

• _declare_list_at — Declare the dynamic-list indexed-access helper.

• _declare_list_destroy — Declare the idempotent dynamic-list storage destructor.

• _list_llvm_type — Return the canonical lowered list ABI type.

• build_list_runtime_feature — Build the dynamic-list runtime feature specification.