Interface: WitnessFailure
@kortexya/reasoninglayer / WitnessFailure
Interface: WitnessFailure
Section titled “Interface: WitnessFailure”Defined in: src/types/terms.ts:493
A witness the unification search refuted.
Properties
Section titled “Properties”reason
Section titled “reason”reason:
string
Defined in: src/types/terms.ts:497
Why no instantiation satisfies it.
witnessId
Section titled “witnessId”witnessId:
string
Defined in: src/types/terms.ts:495
ID of the witness that failed.