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