X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicUntrusted.mli;h=f752c01dc9a668c23cdd0b3b715b4c68081d993a;hb=342f51f2886fbb01457db47b313b5120dd002531;hp=72e512784cdee4ea5129ac92671ea4ac51003b9c;hpb=0bd584a839bae570f44c4a5f8a06cdbc55fe0726;p=helm.git diff --git a/helm/software/components/ng_kernel/nCicUntrusted.mli b/helm/software/components/ng_kernel/nCicUntrusted.mli index 72e512784..f752c01dc 100644 --- a/helm/software/components/ng_kernel/nCicUntrusted.mli +++ b/helm/software/components/ng_kernel/nCicUntrusted.mli @@ -17,3 +17,5 @@ val map_term_fold_a: val metas_of_term : NCic.substitution -> NCic.context -> NCic.term -> int list +module NCicHash : Hashtbl.S +