type command =
| Include of loc * inclusion_mode * string (* _,buri,_,path *)
| UnificationHint of loc * nterm * int (* term, precedence *)
type command =
| Include of loc * inclusion_mode * string (* _,buri,_,path *)
| UnificationHint of loc * nterm * int (* term, precedence *)