1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
#[list]#
[1,,]
[Nat;2;] # [Nat; 1]
a = [1: "a"] # [1: Nat]
[1, 2,,]
#[tuple]#
(1,,)
a,,
#[set]#
{1,,}
{Nat;;} # {Int; 1}
{1; 3}
#[dict]#
{"a": 1,,}
{"a": 1, "b" 2}
{:1}
{"a":}
#[record]#
{x=}
{=x}
{x;;}
{;x}
#[collection access]#
a = [1, 2, 3]
a[1;2]
a[Nat; 3]
a[1: 1]
t = (1, True, "a")
t.-1
r = {name = "John Doe"; age = 21; from="Unknown"}
r.attr