{ Properties = ./AWS::Transfer::Server/Properties.dhall
, Resources = ./AWS::Transfer::Server/Resources.dhall
, As2Transport = ./AWS::Transfer::Server/As2Transport.dhall
, EndpointDetails = ./AWS::Transfer::Server/EndpointDetails.dhall
, IdentityProviderDetails =
    ./AWS::Transfer::Server/IdentityProviderDetails.dhall
, Protocol = ./AWS::Transfer::Server/Protocol.dhall
, ProtocolDetails = ./AWS::Transfer::Server/ProtocolDetails.dhall
, S3StorageOptions = ./AWS::Transfer::Server/S3StorageOptions.dhall
, StructuredLogDestination =
    ./AWS::Transfer::Server/StructuredLogDestination.dhall
, WorkflowDetail = ./AWS::Transfer::Server/WorkflowDetail.dhall
, WorkflowDetails = ./AWS::Transfer::Server/WorkflowDetails.dhall
, GetAttr =
  { Arn = (./../Fn.dhall).GetAttOf "Arn"
  , ServerId = (./../Fn.dhall).GetAttOf "ServerId"
  }
}