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