Untersuchungsergebnis.out Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln
[| | 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 *)
[ 0.90Quellennavigators
]
