config.def
← config dialect
Define a compile/link-time configuration value. The initializer is required and must match the declared result type. Scalar and encoding values seed typed facts so config.get can fold through canonicalization.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
SymbolDefine, Pure |
Symbol contract
| Property |
Value |
| Kind |
config |
| Defining field |
symbol |
| Interfaces |
config |
| Flags |
— |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Result |
type |
any |
required |
— |
| Attribute |
symbol |
symbol |
required |
— |
| Attribute |
value |
any |
required |
— |
Examples
config.def @model36.model.hidden_size = 2048 : index
config.def @model36.features.enable_mtp = true : i1
config.def @model36.quant.dense_encoding = #encoding.operand<element_format=i8, payload_elements=32, payload_packing=dense_lanes> : encoding<schema>