(* Copyright (C) 2003, HELM Team.
+ *
*
* This file is part of HELM, an Hypertextual, Electronic
* Library of Mathematics, developed at the Computer Science
in
C.CoFix (i, fl')
in
- LibrarySync.merge_coercions (um_aux term)
+ um_aux term
;;
let apply_subst =
apply_subst_gen ~appl_fun s t
;;
+let profiler = HExtlib.profile "U/CicMetaSubst.apply_subst"
+let apply_subst s t =
+ profiler.HExtlib.profile (apply_subst s) t
+
+
let rec apply_subst_context subst context =
(*
incr apply_subst_context_counter;