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. Predicates constrain both the initializer and later overrides and retain requirements merged from configuration declarations.
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 |
— |
| Attribute |
predicates |
predicate_list |
optional |
— |
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>