WhileDo ( cond: Tree , body: Tree )

[+] val body : Tree

[+] val cond : Tree

[+] def _1 : T1

[+] def _2 : T2

[+] def copy ( cond: Tree , body: Tree ) : WhileDo

[+] def copy$default$1 : Tree

[+] def copy$default$2 : Tree