The API reference for the AWS Cloud Development Kit (AWS CDK)