test-files/mds-kbdc/validate-tree/valid/assumption-macro


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

assumption
  macro letter/1
    <letter \1> : \1
  end macro
end assumption

# (assumption (@ 1 0-10)
#   (.inner
#     (macro (@ 2 2-7) ‘letter/1’
#       (.inner
#         (map (@ 3 4-20)
#           (.sequence
#             (keys (@ 3 4-15) ‘<letter \1>’)
#           )
#           (.result
#             (string (@ 3 18-20) ‘\1’)
#           )
#         )
#       )
#     )
#   )
# )