Skip to content

Interface: ConstrainedPlainVar

@kortexya/reasoninglayer


@kortexya/reasoninglayer / ConstrainedPlainVar

Defined in: src/types/plain-values.ts:99

A constrained variable for use in inference contexts.

Created via the constrained() helper. Distinguished from plain arrays by the __constrainedVar brand field, which is stripped before serialization.

psi("eligible", { score: constrained("?S", guard("gt", 700)) })

readonly constraint: TermInputDto | PsiTermInput

Defined in: src/types/plain-values.ts:105

Constraint as a TermInputDto or PsiTermInput.


readonly name: string

Defined in: src/types/plain-values.ts:103

Variable name (must start with “?”).