Documentation for a standard library covering various data types, contracts, and functions.