static JTree jDynTreeFromTree(Tree tree) { ret jDynTree(tree, func(Tree tree) -> L> { tree.children() }, valueToText := func(Tree tree) -> S { str(tree.value()) }); }