X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicEnvironment.mli;h=862d7148432f5a6ba7525780d5e0b8d04f36b3f9;hb=421056da7b3e1d6b9d91d72092b4f3c3232a00ce;hp=1c530061a469b9cb7e459d13f9e00230dd77d1a6;hpb=4f0397e0faf85e400e244c815de4780660652faa;p=helm.git diff --git a/helm/software/components/ng_kernel/nCicEnvironment.mli b/helm/software/components/ng_kernel/nCicEnvironment.mli index 1c530061a..862d71484 100644 --- a/helm/software/components/ng_kernel/nCicEnvironment.mli +++ b/helm/software/components/ng_kernel/nCicEnvironment.mli @@ -13,9 +13,11 @@ exception CircularDependency of string Lazy.t;; exception ObjectNotFound of string Lazy.t;; -exception BadDependency of string Lazy.t;; +exception BadDependency of string Lazy.t * exn;; exception BadConstraint of string Lazy.t;; +val set_get_obj: (NUri.uri -> NCic.obj) -> unit + val get_checked_obj: NUri.uri -> NCic.obj val get_relevance: NReference.reference -> bool list