Conventions for the type contracts of function and method arguments and return values, including how contract types are defined.
