SSL prim_array.out   Sprache: unbekannt

[| | 0 : nat |]
     : array nat
[| 1; 2; 3 | 0 : nat |]
     : array nat
[| | 0 : nat |]@{Set}
     : array@{Set} nat
[| bool; list nat | nat : Set |]@{prim_array.29}
     : array@{prim_array.29} Set
(* {prim_array.29} |= Set < prim_array.29 *)

[ Verzeichnis aufwärts0.14unsichere Verbindung  Übersetzung europäischer Sprachen durch Browser  ]