new-luxc/source/luxc/lang/synthesis.lux


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)