(.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?]
  )