aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/meta/macro/syntax/check.lux
blob: a793bb3e3ae93ee8f1f7dd64f47135fdcf39f3d0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
(.require
 [library
  [lux (.except char)
   ["$" documentation]
   [data
    [text
     ["%" \\format (.only format)]]
    [collection
     ["[0]" list]]]]]
 [\\library
  ["[0]" /]])

(.def .public documentation
  (.List $.Module)
  ($.module /._
            ""
            [($.definition /.equivalence)
             ($.definition /.format)
             ($.definition /.parser)

             ($.definition /.Check
               "A type annotation for an expression.")]
            []))