Interface: BacktrackTermStoreRequest
@kortexya/reasoninglayer / ProofEngine / BacktrackTermStoreRequest
Interface: BacktrackTermStoreRequest
Defined in: src/types/proof-engine.ts:369
Request to backtrack to a marker in the term store.
Properties
markerIndex
markerIndex:
number
Defined in: src/types/proof-engine.ts:371
Marker index to backtrack to.