(.module:
  [library
   [lux
    [program (#+ program:)]
    ["$" documentation (#+ documentation:)]
    ["." debug]
    [control
     ["." io]]]]
  [\\library
   ["." /]]
  ["." / #_
   ["#." abstract]
   ["#." control]])

(documentation: /.:of
  "Generates the type corresponding to a given expression."
  [(let [my_num +123]
     (:of my_num))
   "=>"
   .Int]
  [(:of +123)
   "=>"
   .Int])

(.def: .public documentation
  (.List $.Module)
  ($.module /._
            ""
            [..:of]
            [/abstract.documentation
             /control.documentation]))

(program: inputs
  (io.io (debug.log! ($.documentation ..documentation))))