stdlib/source/library/lux/tool/compiler/meta/archive/module.lux


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

(.using
 [library
  [lux {"-" Module}]]
 [/
  [descriptor {"+" Descriptor}]
  [document {"+" Document}]])

(type: .public ID
  Nat)

(def: .public runtime
  ID
  0)

(type: .public (Module a)
  (Record
   [#id ID
    #descriptor Descriptor
    #document (Document a)]))