\ / 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