Unfold a level of a tree defined by its unfolding function which must decide, given the current node, who are its children?
Unfold a level of a tree defined by its unfolding function which must decide, given the current node, who are its children?