stdlib/source/library/lux/tool/compiler/arity.lux


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

(.using
  [library
   [lux "*"
    [math
     [number
      ["n" nat]]]]])

(type: .public Arity
  Nat)

(template [<comparison> <name>]
  [(def: .public <name> (-> Arity Bit) (<comparison> 1))]

  [n.< nullary?]
  [n.= unary?]
  [n.> multiary?]
  )