| IDENT "unification"; IDENT "hint"; t = tactic_term ->
GrafiteAst.UnificationHint (loc, t)
| IDENT "record" ; (params,name,ty,fields) = record_spec ->
| IDENT "unification"; IDENT "hint"; t = tactic_term ->
GrafiteAst.UnificationHint (loc, t)
| IDENT "record" ; (params,name,ty,fields) = record_spec ->