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