Skip to content

Interface: ProofEngineCreateTermResponse

@kortexya/reasoninglayer


@kortexya/reasoninglayer / ProofEngine / ProofEngineCreateTermResponse

Interface: ProofEngineCreateTermResponse

Defined in: src/types/proof-engine.ts:225

Response after creating a term or variable.

Properties

isVariable

isVariable: boolean

Defined in: src/types/proof-engine.ts:227

Whether the created entity is a variable.


termId

termId: string

Defined in: src/types/proof-engine.ts:229

Identifier of the created term or variable.