diff options
Diffstat (limited to '')
| -rw-r--r-- | test-files/mds-kbdc/validate-tree/valid/assumption-function | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/test-files/mds-kbdc/validate-tree/valid/assumption-function b/test-files/mds-kbdc/validate-tree/valid/assumption-function new file mode 100644 index 0000000..8cdc5d5 --- /dev/null +++ b/test-files/mds-kbdc/validate-tree/valid/assumption-function @@ -0,0 +1,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) +# ) +# ) +# ) +# ) +# ) + |