blob: f280743bad0a00822cc91a6819e24b58abdc2dbe (
plain)
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
|
(.module:
[lux #*
[data
[format
["." binary (#+ Format)]]]]
["." // #_
[encoding
["#." unsigned (#+ U2)]]])
(type: #export Version U2)
(type: #export Minor Version)
(type: #export Major Version)
(def: #export version
(-> Nat Version)
//unsigned.u2)
(template [<number> <name>]
[(def: #export <name>
Major
(..version <number>))]
[45 v1_1]
[46 v1_2]
[47 v1_3]
[48 v1_4]
[49 v5_0]
[50 v6_0]
[51 v7]
[52 v8]
[53 v9]
[54 v10]
[55 v11]
[56 v12]
)
(def: #export format
(Format Version)
//unsigned.u2-format)
|
