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