kgp.tree
/
Tree
/
copy
copy
fun
copy
(
)
:
Tree
Creates a copy of this tree. All nodes are copied too.