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


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

assumption
  function digit/1
    "\add(\1 "0")"
  end function
end assumption

# (assumption (@ 1 0-10)
#   (.inner
#     (function (@ 2 2-10) ‘digit/1’
#       (.inner
#         (map (@ 3 4-18)
#           (.sequence
#             (string (@ 3 4-18) ‘"\add(\1 "0")"’)
#           )
#           (.result nil)
#         )
#       )
#     )
#   )
# )