Interface: DecodeGlbResponse
@kortexya/reasoninglayer / DecodeGlbResponse
Interface: DecodeGlbResponse
Section titled “Interface: DecodeGlbResponse”Defined in: src/types/sorts.ts:861
Result of decoding a GLB as a type disjunction.
When the GLB of two sorts does not exist as a single named sort, this endpoint returns a human-readable disjunction string.
Properties
Section titled “Properties”formatted
Section titled “formatted”formatted:
string
Defined in: src/types/sorts.ts:863
Formatted type disjunction string (e.g., “int | real”).
isBottom
Section titled “isBottom”isBottom:
boolean
Defined in: src/types/sorts.ts:865
Whether the GLB is empty (bottom).
sortIds
Section titled “sortIds”sortIds:
string[]
Defined in: src/types/sorts.ts:867
Sort IDs in the type disjunction.
sortNames
Section titled “sortNames”sortNames:
string[]
Defined in: src/types/sorts.ts:869
Sort names in the type disjunction.