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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
"foo"
: string
1234
: nat
Nat.add 1 2
: nat
match "a" with
| "a" => true
| _ => false
end
: bool
match 1 with
| 1 => true
| _ => false
end
: bool
{| field := 7 |}
: test
String (Ascii.Ascii false true true false false true true false)
(String (Ascii.Ascii true true true true false true true false)
(String (Ascii.Ascii true true true true false true true false)
EmptyString))
: string
S
(S
(S
(S
(S
(S
(S
(S
(S
(S
(S
(S
(S
(S
(S
(S
(S
(S
(S (S (S (S (S (S ...)))))))))))))))))))))))
: nat
Nat.add (S O) (S (S O))
: nat
match
String (Ascii.Ascii true false false false false true true false)
EmptyString
with
| String (Ascii.Ascii true false false false false true true false)
EmptyString => true
| _ => false
end
: bool
match S O with
| S O => true
| _ => false
end
: bool
{| field := S (S (S (S (S (S (S O)))))) |}
: test
|
