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. *)