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

(.require
 [library
  [lux (.except)
   [math
    [number
     ["n" nat]]]]])

(type: .public Arity
  Nat)

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

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