Quelle  SortQuality.out   Sprache: unbekannt

Type
Type@{α1 ; SortQuality.21}
Type@{α1 ; SortQuality.21}
Type
A
     : Type@{s ; _}
A
     : Type@{s ; u}
(* {u} |=  *)
A
     : Type@{s ; u}
(* {u} |=  *)
A
     : Type@{s ; _}