libtx/Storage

THIS IS A WORK OF FICTION AND NOT an axiomatic abstraction of container

Coq