aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/synthesis.lux
blob: 96053edc078776acc6c7908fd82fee25bf6a4da2 (plain)
1
2
3
4
5
6
7
8
9
10
(;module:
  lux)

(def: #export Arity Nat)
(def: #export Register Nat)
(def: #export Variable Int)

(type: #export Synthesis Code)

(type: #export Path Code)