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