Expand description
Specifications for functions from Rust standard library but not specified in vstd.
These specifications are determined with careful inspection of the std library source code and documentation, and trusted as TCB.
They are subject to change if vstd covers more cases in the future.