| ApplPattern of cic_appl_pattern list
type phrase = (* TODO hackish: replace with TacticAst.statement or similar *)
| Print of term
| Notation of term * Gramext.g_assoc option * int option * term
(* level 1 pattern, associativity, precedence, level 2 pattern *)
| ApplPattern of cic_appl_pattern list
type phrase = (* TODO hackish: replace with TacticAst.statement or similar *)
| Print of term
| Notation of term * Gramext.g_assoc option * int option * term
(* level 1 pattern, associativity, precedence, level 2 pattern *)