config.decl
← config dialect
Declare a required compile/link-time configuration value. The op defines a symbol and a required type but intentionally carries no initializer. Predicates constrain the unresolved value until a config.def supplies an exact value; final executable compilation must resolve reachable config.get users to exactly one config.def.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
SymbolDefine, Pure |
Symbol contract
| Property |
Value |
| Kind |
config |
| Defining field |
symbol |
| Interfaces |
config |
| Flags |
declaration |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Result |
type |
any |
required |
— |
| Attribute |
symbol |
symbol |
required |
— |
| Attribute |
predicates |
predicate_list |
optional |
— |
Examples
config.decl @model36.model.hidden_size : index
config.decl @model36.model.max_context : %value: index where [range(%value, 1, 131072)]
config.decl @model36.features.enable_mtp : i1
config.decl @model36.quant.dense_encoding : encoding<schema>