subterms := t :: !subterms ;
Ast.Implicit
in
- let rec aux t = CicNotationUtil.visit_ast ~special_k map_term t
+ let rec aux t =
+ CicNotationUtil.visit_ast
+ ~map_xref_option:(fun _ -> None)
+ ~map_case_indty:(fun _ -> None)
+ ~map_case_outtype:(fun _ _ -> None)
+ ~special_k map_term t
and special_k = function
| Ast.AttributedTerm (_, t) -> aux t
| _ -> assert false