blob: 54b50cab21e7ff0deb597a30ed47f802f87f0994 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
(.module:
[lux #*
[data
[number
["n" nat]]]])
(type: #export Arity Nat)
(template [<comparison> <name>]
[(def: #export <name> (-> Arity Bit) (<comparison> 1))]
[n.= unary?]
[n.> multiary?]
)
|