diff options
Diffstat (limited to 'src/HelpFile')
| -rw-r--r-- | src/HelpFile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/HelpFile b/src/HelpFile index ead186001..4ebb00d1d 100644 --- a/src/HelpFile +++ b/src/HelpFile @@ -268,13 +268,16 @@ pt, put_tree: pt Tree examples: p "zero is even" | pt -transform=solve -- solve ?'s in parse result - * st, show_tree: st Tree Prints the tree as a string. Unlike pt, this command cannot be used in a pipe to produce a tree, since its output is a string. flags: -printer show the tree in a special format (-printer=xml supported) +wt, wrap_tree: wt Fun + Wraps the tree as the sole argument of Fun. + flags: + -c compute the resulting new tree to normal form -- subshells |