| WElim (_, t) -> "whelp elim " ^ term_pp t
| WMatch (_, term) -> "whelp match " ^ term_pp term
(* real macros *)
- | Check (_, term) -> sprintf "Check %s" (term_pp term)
+ | Check (_, term) -> sprintf "check %s" (term_pp term)
| Hint _ -> "hint"
+ | Inline (_,suri) -> sprintf "inline %s" suri
let pp_associativity = function
| Gramext.LeftA -> "left associative"