Module Cache.File

A file stored in Dune cache is fully determined by the build path and its content digest. There may be multiple Files with the same digest due to sharing between multiple workspaces. In fact, the more such pairs there are, the more effective the cache is.