blob: 0b51e62843b0a0bd3a09587c7097373b256554c5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
(;module:
lux)
(type: #export #rec Pattern
(#Bind Nat)
(#Bool Bool)
(#Nat Nat)
(#Int Int)
(#Deg Deg)
(#Real Real)
(#Char Char)
(#Text Text)
(#Tuple (List Pattern))
(#Variant Nat Nat Pattern))
|