* @brief Removes a page from the database, both on disk and in memory. * * If the page is pinned in the buffer pool, this function does nothing and returns `false`. Otherwise, this function * removes the page from both disk and memory (if it is still in the buffer pool), returning `true`. * * ### Implementation * * Think about all of the places that a page or a page's metadata could be, and
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected