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