+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 *)
+ | Interpretation of (string * argument_pattern list) * cic_appl_pattern
+ | Render of UriManager.uri
+