Verified Commit 13e99ea9 authored by
Shell/DDB: make lib_cache/scheduler private
Review the set of exported functions from cache.mli In particular, lib_cache client doesn't need to have access to the scheduler. This simplifies the client code, the lib_cache interface, and helps enforce the invariant that the scheduler and the cache must share the same memory table.
Showing with 452 additions and 483 deletions