) l
in
C.Meta(i,l')
- | C.Sort _ as t -> t
- | C.Implicit _ as t -> t
+ | C.Sort s -> C.Sort s
+ | C.Implicit info -> C.Implicit info
| C.Cast (te,ty) -> C.Cast (unshare te, unshare ty)
| C.Prod (n,s,t) -> C.Prod (n, unshare s, unshare t)
| C.Lambda (n,s,t) -> C.Lambda (n, unshare s, unshare t)