else
idref aid (Ast.Appl (List.map k args)))
| Cic.AAppl (aid,args) ->
else
idref aid (Ast.Appl (List.map k args)))
| Cic.AAppl (aid,args) ->
| Ast.ImplicitPattern -> mk_implicit false
| Ast.VarPattern name -> lookup name
| Ast.ApplPattern terms -> mk_appl (List.map aux terms)
| Ast.ImplicitPattern -> mk_implicit false
| Ast.VarPattern name -> lookup name
| Ast.ApplPattern terms -> mk_appl (List.map aux terms)