Structural recursion

Redirect to:

• Structural induction