Skip to content

Interface: DereferenceResponse

@kortexya/reasoninglayer


@kortexya/reasoninglayer / DereferenceResponse

Defined in: src/types/proof-engine.ts:267

Response with dereferenced term information.

dereferencedId: string

Defined in: src/types/proof-engine.ts:269

Dereferenced (resolved) term ID.


isBound: boolean

Defined in: src/types/proof-engine.ts:271

Whether the original term was bound.


originalId: string

Defined in: src/types/proof-engine.ts:273

Original term ID before dereferencing.