(.module:
  lux)

(def: #export Arity Nat)

(type: #export Synthesis Code)

(type: #export Path Code)