https://docs.aws.amazon.com/cdk/api/v2/java/software/amazon/awscdk/services/kms/IAlias.Jsii$Default.html
IAlias.Jsii$Default (AWS CDK 2.254.0 API)
declaration: package: software.amazon.awscdk.services.kms, interface: IAlias, interface: Jsii$Default
aws cdkjsiidefaultapi
https://docs.aws.amazon.com/cdk/api/v2/java/software/amazon/awscdk/services/gamelift/alpha/IAlias.Jsii$Proxy.html
IAlias.Jsii$Proxy (AWS CDK 2.253.0 API)
declaration: package: software.amazon.awscdk.services.gamelift.alpha, interface: IAlias, class: Jsii$Proxy
aws cdkjsiiproxyapi