(* real macros *)
| Check (_, term) -> sprintf "Check %s" (term_pp term)
| Hint _ -> "hint"
- | Quit _ -> "Quit"
let pp_associativity = function
| Gramext.LeftA -> "left associative"
| Include (_,path) -> "include \"" ^ path ^ "\""
| Qed _ -> "qed"
| Drop _ -> "drop"
+ | Print (_,s) -> "print " ^ s
| Set (_, name, value) -> sprintf "set \"%s\" \"%s\"" name value
| Coercion (_, uri, do_composites) -> pp_coercion uri do_composites
| Obj (_,obj) -> obj_pp obj