(;module:
  lux)

(type: #export (Pattern a) Void)

(type: #export Primitive
  #Unit
  (#Bool Bool)
  (#Nat Nat)
  (#Int Int)
  (#Deg Deg)
  (#Real Real)
  (#Char Char)
  (#Text Text))

(type: #export Reference
  (#Relative Ref)
  (#Absolute Ident))

(type: #export (Structure a)
  (#Variant Nat Bool a)
  (#Tuple (List a))
  (#Case (Pattern a))
  (#Function Scope a)
  (#Call a (List a))
  (#Procedure Text (List a)))

(type: #export (Analysis' Analysis)
  (#Primitive Primitive)
  (#Structure (Structure Analysis))
  (#Reference Reference))

(type: #export #rec Analysis
  (Meta [Type Cursor]
        (Analysis' Analysis)))

(type: #export Synthesis
  Unit)

(type: #export Eval
  (-> Type Code (Lux Top)))

(type: #export Analyser
  (-> Eval Code (Lux Analysis)))