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)