Function adapton::catalog::collections::prune_tree_of_tree

pub fn prune_tree_of_tree<Lev: Level, X: Hash + Clone + 'static, Te: TreeElim<Lev, X> + 'static, Ti: TreeElim<Lev, X> + TreeIntro<Lev, X> + 'static>(
    tree: Te
) -> Ti

Produces a tree with the same structure as its input, but without any empty subtrees, and with articulations placed around the subtrees of named binary nodes.