- metasenv,GrafiteAst.Elim (loc, what, Some using, pattern, depth, idents)
- | GrafiteAst.Elim (loc, what, None, pattern, depth, idents) ->
+ metasenv,GrafiteAst.Elim (loc, what, Some using, pattern, specs)
+ | GrafiteAst.Elim (loc, what, None, pattern, specs) ->