Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
[| | 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 *)
[ Dauer der Verarbeitung: 0.27 Sekunden
]
