| Ast.Ident (name, Some []) | Ast.Ident (name, None)
| Ast.Uri (name, Some []) | Ast.Uri (name, None) -> name
| Ast.NRef nref -> NReference.string_of_reference nref
+ | Ast.NCic cic -> NCicPp.ppterm ~metasenv:[] ~context:[] ~subst:[] cic
| 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.Implicit (`Tagged name) -> "?"^name
| Ast.Meta (index, substs) ->
sprintf "%d[%s]" index
(String.concat "; "