Function adapton::catalog::collections::eager_tree_of_tree
[−]
[src]
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).