Interface: DecodeGlbResponse
@kortexya/reasoninglayer / Sorts / DecodeGlbResponse
Interface: DecodeGlbResponse
Defined in: src/types/sorts.ts:315
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
formatted
formatted:
string
Defined in: src/types/sorts.ts:317
Formatted type disjunction string (e.g., “int | real”).
isBottom
isBottom:
boolean
Defined in: src/types/sorts.ts:319
Whether the GLB is empty (bottom).
sortIds
sortIds:
string[]
Defined in: src/types/sorts.ts:321
Sort IDs in the type disjunction.
sortNames
sortNames:
string[]
Defined in: src/types/sorts.ts:323
Sort names in the type disjunction.