let store_digest r digest = Digest_cache.put ("Rule: " ^ r.name) digest