The primitive operation Destroy is an operation in the storage allocation layer. It restores an allocated storage block to the unallocated areas in the persistent storage. The storage block is specified by the corresponding persistent pointer.
The operation returns True if it has succeeded, and False if it has failed.