target.decl
← target dialect
Declares a target-record contract whose definition may be provided by linking. The declaration remains valid in partially specialized IR and a linked definition must satisfy its contract.
Operation contract
| Property |
Value |
| Semantic phase |
module metadata |
| Traits |
SymbolDefine |
Symbol contract
| Property |
Value |
| Kind |
target |
| Defining field |
symbol |
| Interfaces |
target, record |
| Flags |
declaration |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Attribute |
symbol |
symbol |
required |
— |
Examples
target.decl @external_target