Interface: BindVariableRequest
@kortexya/reasoninglayer / ProofEngine / BindVariableRequest
Interface: BindVariableRequest
Defined in: src/types/proof-engine.ts:235
Request to bind a variable to a term.
Properties
targetId
targetId:
string
Defined in: src/types/proof-engine.ts:237
Term ID to bind the variable to.
variableId
variableId:
string
Defined in: src/types/proof-engine.ts:239
Variable ID to bind.