Library tezos-stdlib

The entry point of this library is the module: Tezos_stdlib.