Interface: ConstrainedPlainVar
@kortexya/reasoninglayer / PlainValues / ConstrainedPlainVar
Interface: ConstrainedPlainVar
Defined in: src/types/plain-values.ts:83
A constrained variable for use in inference contexts.
Remarks
Created via the constrained() helper. Distinguished from plain arrays
by the __constrainedVar brand field, which is stripped before serialization.
Example
psi("eligible", { score: constrained("?S", guard("gt", 700)) })Properties
constraint
readonlyconstraint:TermInputDto|PsiTermInput
Defined in: src/types/plain-values.ts:89
Constraint as a TermInputDto or PsiTermInput.
name
readonlyname:string
Defined in: src/types/plain-values.ts:87
Variable name (must start with ”?”).