Interface: MarkTermStoreResponse
@kortexya/reasoninglayer / ProofEngine / MarkTermStoreResponse
Interface: MarkTermStoreResponse
Defined in: src/types/proof-engine.ts:359
Response with marker info for a term store choice point.
Properties
markerIndex
markerIndex:
number
Defined in: src/types/proof-engine.ts:361
Index of the choice point marker.
trailLength
trailLength:
number
Defined in: src/types/proof-engine.ts:363
Trail length at the time of marking.