Interface: GlbResponse
@kortexya/reasoninglayer / GlbResponse
Interface: GlbResponse
Section titled “Interface: GlbResponse”Defined in: src/types/sorts.ts:807
Result of GLB computation.
Properties
Section titled “Properties”
optionalglb?:string|null
Defined in: src/types/sorts.ts:812
The unique maximal common subsort (UUID); absent when the meet is bottom or not unique (read GlbResponse.maximalLowerBounds).
maximalLowerBounds
Section titled “maximalLowerBounds”maximalLowerBounds:
string[]
Defined in: src/types/sorts.ts:817
Every declared maximal common subsort. Several entries mean the meet is not unique; an empty list means it is bottom in the declared lattice.