dhall-aws-cloudformation
{ Properties = ./AWS::EC2::TransitGatewayRouteTablePropagation/Properties.dhall, Resources = ./AWS::EC2::TransitGatewayRouteTablePropagation/Resources.dhall}