Interface: FeatureInputConstrainedVariable
@kortexya/reasoninglayer / Homoiconic / FeatureInputConstrainedVariable
Interface: FeatureInputConstrainedVariable
Defined in: src/types/homoiconic.ts:120
A constrained variable in a feature value position.
Remarks
Must be tried BEFORE FeatureInputVariable during deserialization
because both have name, but this variant also has constraint.
Properties
constraint
constraint:
TermInputDto
Defined in: src/types/homoiconic.ts:124
Constraint as a full TermInputDto (typically a guard sort).
name
name:
string
Defined in: src/types/homoiconic.ts:122
Variable name (conventionally prefixed with ?, e.g., "?X").