Interface: BindingDto
@kortexya/reasoninglayer / Inference / BindingDto
Interface: BindingDto
Defined in: src/types/inference.ts:9
A binding within a substitution, mapping a variable to its bound value.
Properties
boundToDisplay
boundToDisplay:
string
Defined in: src/types/inference.ts:17
Human-readable display of the bound value.
boundToTermId
boundToTermId:
string
Defined in: src/types/inference.ts:15
Bound-to term ID (UUID).
variableName?
optionalvariableName:string|null
Defined in: src/types/inference.ts:13
Human-readable variable name (e.g., ”?X”).
variableTermId
variableTermId:
string
Defined in: src/types/inference.ts:11
Variable term ID (UUID).