INDUCTIVE DEFINITION F () [ ]
OF ARITY
Set
BUILT FROM:
Appl:
F
| Cast:
F