Interface: ValidateTermRequest
@kortexya/reasoninglayer / Query / ValidateTermRequest
Interface: ValidateTermRequest
Defined in: src/types/query.ts:267
Request to validate a term against its sort’s type witnesses.
Remarks
The term field uses TermPatternDto (sort_id + tagged features).
Properties
term
term:
TermPatternDto
Defined in: src/types/query.ts:269
The term to validate (sort_id + tagged features).