Interface: DereferenceResponse
@kortexya/reasoninglayer / ProofEngine / DereferenceResponse
Interface: DereferenceResponse
Defined in: src/types/proof-engine.ts:267
Response with dereferenced term information.
Properties
dereferencedId
dereferencedId:
string
Defined in: src/types/proof-engine.ts:269
Dereferenced (resolved) term ID.
isBound
isBound:
boolean
Defined in: src/types/proof-engine.ts:271
Whether the original term was bound.
originalId
originalId:
string
Defined in: src/types/proof-engine.ts:273
Original term ID before dereferencing.