Quelle  ShowUnivs.out   Sprache: unbekannt

UNIVERSES:
 {w v u} |= u <= v
            v <= w
ALGEBRAIC UNIVERSES:
 {}
FLEXIBLE UNIVERSES:
 
SORTS:
 
WEAK CONSTRAINTS:
 

Normalized constraints:
 {w v u} |= u <= v
            v <= w
UNIVERSES:
 {ShowUnivs.28 ShowUnivs.27 ShowUnivs.26 ShowUnivs.25 ShowUnivs.24} |=
   ShowUnivs.25 < ShowUnivs.26
   ShowUnivs.26 < ShowUnivs.27
   ShowUnivs.26 <= ShowUnivs.28
   ShowUnivs.27 <= ShowUnivs.24
   ShowUnivs.28 <= ShowUnivs.24
ALGEBRAIC UNIVERSES:
 {ShowUnivs.28 ShowUnivs.27 ShowUnivs.24}
FLEXIBLE UNIVERSES:
 ShowUnivs.28
 ShowUnivs.27
 ShowUnivs.26
 ShowUnivs.24
SORTS:
 α1 := Type
 α2 := Type
 α3 := α1
WEAK CONSTRAINTS:
 

Normalized constraints:
 {ShowUnivs.26 ShowUnivs.25} |= ShowUnivs.25 < ShowUnivs.26