dhall-aws-cloudformation
{ Properties = ./AWS::Greengrass::DeviceDefinitionVersion/Properties.dhall, Resources = ./AWS::Greengrass::DeviceDefinitionVersion/Resources.dhall, Device = ./AWS::Greengrass::DeviceDefinitionVersion/Device.dhall}