INDUCTIVE DEFINITION C () [ ]
OF ARITY
Set
BUILT FROM:
CSort:
nat
→
C
| CHead:
C
→
K
→
T
→
C