let uris = List.map rehash_uri uris in
GrafiteAst.Default (loc, name, uris)
| GrafiteAst.Coercion (loc, uri, close, arity, saturations) ->
let uris = List.map rehash_uri uris in
GrafiteAst.Default (loc, name, uris)
| GrafiteAst.Coercion (loc, uri, close, arity, saturations) ->