| Ast.Uri (name, Some substs) ->
sprintf "%s \\subst [%s]" name (pp_substs substs)
| Ast.Implicit `Vector -> "?"
- | Ast.Implicit `JustOne -> "..."
+ | Ast.Implicit `JustOne -> "…"
| Ast.Meta (index, substs) ->
sprintf "%d[%s]" index
(String.concat "; "