(.module: [lux #* [data [number ["n" nat]]]]) (type: #export Arity Nat) (template [ ] [(def: #export (-> Arity Bit) ( 1))] [n.< nullary?] [n.= unary?] [n.> multiary?] )