INDUCTIVE DEFINITION PList () [ ]
OF ARITY
Set
BUILT FROM:
PNil:
PList
| PCons:
nat
→
nat
→
PList
→
PList