aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/synthesis.lux
blob: 33c8aa063db41ad605f67cf88de3fe037e634fa5 (plain)
1
2
3
4
5
6
7
8
(.module:
  lux)

(def: #export Arity Nat)

(type: #export Synthesis Code)

(type: #export Path Code)