Interface: ValidatedUnifyRequest
@kortexya/reasoninglayer / Query / ValidatedUnifyRequest
Interface: ValidatedUnifyRequest
Defined in: src/types/query.ts:278
Request to unify two terms with witness validation.
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
term1
term1:
TermPatternDto
Defined in: src/types/query.ts:280
First term to unify.
term2
term2:
TermPatternDto
Defined in: src/types/query.ts:282
Second term to unify.