Interface: ResiduationDto
@kortexya/reasoninglayer / ResiduationDto
Interface: ResiduationDto
Section titled “Interface: ResiduationDto”Defined in: src/types/terms.ts:64
A residuation record for a witness that could not be satisfied yet.
Properties
Section titled “Properties”partialBindings
Section titled “partialBindings”partialBindings:
Record<string,string>
Defined in: src/types/terms.ts:68
Partial bindings found so far.
trigger
Section titled “trigger”trigger:
string
Defined in: src/types/terms.ts:70
What would trigger re-evaluation.
witnessId
Section titled “witnessId”witnessId:
string
Defined in: src/types/terms.ts:66
ID of the witness that residuated.