Sml einen Baum falten
Ich versuche, das Produkt eines Baumes mit der Fold-Funktion zu erhalten. Dies ist, was ich habe. Ich bin verwirrt darüber, wie ich die Faltmethode beim Überqueren des Baums verwende.
datatype 'a bin_tree = Leaf of 'a
| Node of 'a bin_tree * 'a bin_tree
fun treefold g z Empty = z
| treefold g z (Node (l, x, r)) = g(x, g(treefold g z l, treefold g z r)