-(** create a context from a term and a list of subterm.
-* @param equality equality function used while walking the term. Defaults to
-* physical equality (==) *)
-val context_of:
- ?equality:(Cic.term -> Cic.term -> bool) -> term:Cic.term -> Cic.term list ->
- Cic.term
-
-(** select all subterms of a given term matching a given context (i.e. subtrees
-* rooted at context's holes *)
-val select: term:Cic.term -> context:Cic.term -> Cic.term list
+(** {2 Uri hash consing} *)
+val rehash_term: Cic.term -> Cic.term
+val rehash_obj: Cic.obj -> Cic.obj