| "Theorem" -> Some `Theorem
| "Definition" -> Some `Definition
| "Fixpoint" -> Some `Definition
+ | "CoFixpoint" -> Some `Definition
| "Let" -> Some `Definition
| "Scheme" -> Some `Theorem
| _ -> assert false
ind: IND spcs { $1 ^ $2 };
set: SET spcs { $1 ^ $2 };
notation: NOT spcs { $1 ^ $2 };
- oc: OC spcs { $1 ^ $2 };
- coe: COE spcs { $1 ^ $2 };
cn: CN spcs { $1 ^ $2 };
- sc: SC spcs { $1 ^ $2 };
str: STR spcs { $1 ^ $2 };
id: ID spcs { $1 ^ $2 };
coerc: COERC spcs { $1 ^ $2 };
/*
+ oc: OC spcs { $1 ^ $2 };
+ coe: COE spcs { $1 ^ $2 };
+ sc: SC spcs { $1 ^ $2 };
+
cnot:
| EXTRA { $1 }
| INT { $1 }