Type Alias: MarkTermStoreRequest
@kortexya/reasoninglayer / MarkTermStoreRequest
Type Alias: MarkTermStoreRequest
Section titled “Type Alias: MarkTermStoreRequest”MarkTermStoreRequest =
object
Defined in: src/types/proof-engine.ts:354
Request to mark a choice point for backtracking.
Remarks
Section titled “Remarks”Empty object; the server uses the session state to create the marker.