Skip to content

Interface: DereferenceResponse

@kortexya/reasoninglayer


@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.