| Ast.Ident (name, Some substs)
| Ast.Uri (name, Some substs) ->
sprintf "%s \\subst [%s]" name (pp_substs substs)
| Ast.Implicit `Vector -> "?"
| Ast.Implicit `JustOne -> "…"
| Ast.Ident (name, Some substs)
| Ast.Uri (name, Some substs) ->
sprintf "%s \\subst [%s]" name (pp_substs substs)
| Ast.Implicit `Vector -> "?"
| Ast.Implicit `JustOne -> "…"