Function adapton::catalog::collections::eager_tree_of_tree

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

Produces a tree with the same structure as its input, but without any articulations. Useful for println-style debugging, and for equality comparisons across distinct engine implementations (e.g., to verify the DCG-based engine).