Interface: ValidatedUnifyRequest
@kortexya/reasoninglayer / ValidatedUnifyRequest
Interface: ValidatedUnifyRequest
Section titled “Interface: ValidatedUnifyRequest”Defined in: src/types/query.ts:394
Request to unify two terms with witness validation.
Remarks
Section titled “Remarks”Both terms use TermPatternDto (sort_id + tagged features).
The backend computes the GLB of the two sorts, unifies the terms,
and validates the result against the GLB sort’s type witnesses.
Properties
Section titled “Properties”term1:
TermPatternDto
Defined in: src/types/query.ts:396
First term to unify.
term2:
TermPatternDto
Defined in: src/types/query.ts:398
Second term to unify.