Converts a fold φ into one that annotates tree values: every tree node
will be annotated with the intermediate value of the fold at the node.
For example, to convert the descendantCount fold, that folds a tree into a
tree total descendant count to one that annotates each node with its
node total descendant count:
Converts a fold
φinto one that annotates tree values: every tree node will be annotated with the intermediate value of the fold at the node.For example, to convert the
descendantCountfold, that folds a tree into a tree total descendant count to one that annotates each node with its node total descendant count: