\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-(* $Id: nCicSubstitution.ml 8135 2008-02-13 15:35:43Z tassi $ *)
+(* $Id$ *)
exception Subst_not_found of int
exception Meta_not_found of int
-val sharing_map: ('a -> 'a) -> 'a list -> 'a list
-
val expand_local_context : NCic.lc_kind -> NCic.term list
val lookup_subst: int -> NCic.substitution -> NCic.subst_entry
(NCic.hypothesis -> 'k -> 'k) -> 'k ->
('k -> NCic.term -> NCic.term) -> NCic.term -> NCic.term
-val is_closed: NCic.term -> bool
+val set_head_beta_reduce: (upto:int -> NCic.term -> NCic.term) -> unit
+