Interface: BindingDto
@kortexya/reasoninglayer / BindingDto
Interface: BindingDto
Section titled “Interface: BindingDto”Defined in: src/types/inference.ts:10
A binding within a substitution, mapping a variable to its bound value.
Properties
Section titled “Properties”boundToDisplay
Section titled “boundToDisplay”boundToDisplay:
string
Defined in: src/types/inference.ts:18
Human-readable display of the bound value.
boundToTermId
Section titled “boundToTermId”boundToTermId:
string
Defined in: src/types/inference.ts:16
Bound-to term ID (UUID).
variableName?
Section titled “variableName?”
optionalvariableName?:string|null
Defined in: src/types/inference.ts:14
Human-readable variable name (e.g., “?X”).
variableTermId
Section titled “variableTermId”variableTermId:
string
Defined in: src/types/inference.ts:12
Variable term ID (UUID).