From 316aca76611f6b909e0c53a50362e79a5336e474 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 18 Jan 2005 09:21:25 +0000 Subject: [PATCH] fixed comments --- helm/ocaml/cic_proof_checking/cicEnvironment.ml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.ml b/helm/ocaml/cic_proof_checking/cicEnvironment.ml index 62e733522..b7dda1085 100644 --- a/helm/ocaml/cic_proof_checking/cicEnvironment.ml +++ b/helm/ocaml/cic_proof_checking/cicEnvironment.ml @@ -66,6 +66,10 @@ exception Term_not_found of UriManager.uri;; HERE STARTS THE CACHE MODULE * ************************************************************************** *) +(* I think this should be the right place to implement mecanisms and + * invasriants + *) + (* Cache that uses == instead of = for testing equality *) (* Invariant: an object is always in at most one of the *) (* following states: unchecked, frozen and cooked. *) -- 2.39.2