Interface: UnifyBindingDto
@kortexya/reasoninglayer / UnifyBindingDto
Interface: UnifyBindingDto
Section titled “Interface: UnifyBindingDto”Defined in: src/types/visualization.ts:542
One variable binding a term unification produced.
Properties
Section titled “Properties”value:
string
Defined in: src/types/visualization.ts:546
The value it bound to, rendered as a string.
variable
Section titled “variable”variable:
string
Defined in: src/types/visualization.ts:544
The variable.