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