- | CicAst.Ident (name, []) -> name
- | CicAst.Ident (name, substs) -> sprintf "%s[%s]" name (pp_substs substs)
+ | CicAst.Ident (name, Some []) | CicAst.Ident (name, None)
+ | CicAst.Uri (name, Some []) | CicAst.Uri (name, None) ->
+ name
+ | CicAst.Ident (name, Some substs)
+ | CicAst.Uri (name, Some substs) ->
+ sprintf "%s \\subst [%s]" name (pp_substs substs)