Interface: HomoiconicSubstitutionDto
@kortexya/reasoninglayer / HomoiconicSubstitutionDto
Interface: HomoiconicSubstitutionDto
Section titled “Interface: HomoiconicSubstitutionDto”Defined in: src/types/inference.ts:24
A substitution produced by backward chaining — a set of variable bindings.
Properties
Section titled “Properties”bindings
Section titled “bindings”bindings:
BindingDto[]
Defined in: src/types/inference.ts:26
Variable-to-value bindings.