type 'term macro =
(* Whelp's stuff *)
- | WHint of loc * 'term
+ | WHint of loc * 'term
| WMatch of loc * 'term
| WInstance of loc * 'term
| WLocate of loc * string
| WElim of loc * 'term
(* real macros *)
| Check of loc * 'term
- | Hint of loc
+ | Hint of loc * bool
| AutoInteractive of loc * (string * string) list
| Inline of loc * presentation_style * string * string
(* URI or base-uri, name prefix *)