| Alias of loc * alias_spec
(** parameters, name, type, fields *)
| Notation of loc * direction option * CicNotationPt.term * Gramext.g_assoc *
| Alias of loc * alias_spec
(** parameters, name, type, fields *)
| Notation of loc * direction option * CicNotationPt.term * Gramext.g_assoc *