test-suite/output/prim_array.v


1
2
3
4
5
6
7
8
9
10

Primitive array := #array_type.

Check [| | 0 |].

Check [| 1; 2; 3 | 0 |].

Set Printing Universes.
Check [| | 0 |].

Check [| bool; list nat | nat |].