Interface: ResidualWitnessDto
@kortexya/reasoninglayer / Terms / ResidualWitnessDto
Interface: ResidualWitnessDto
Defined in: src/types/terms.ts:34
A residuated (suspended) type witness.
Appears in ValidatedTermResponse when a witness could not be fully evaluated. Indicates what information is missing for the witness to be satisfied.
Properties
partialBindings
partialBindings:
Record<string,string>
Defined in: src/types/terms.ts:38
Partial bindings found so far.
trigger
trigger:
string
Defined in: src/types/terms.ts:40
What would trigger re-evaluation.
witnessId
witnessId:
string
Defined in: src/types/terms.ts:36
ID of the witness that couldn’t be satisfied yet.