valid {
    input.Body.signupCallback.accessToken == STRING
    input.Body.signupCallback.callbackUrl == STRING
    input.Body.setupFinalization.associateInProgressToken == STRING
    input.Body.setupFinalization.phoneNumbers[_].id == STRING
    input.Body.setupFinalization.phoneNumbers[_].twoFactorPin == STRING
    input.Body.setupFinalization.phoneNumbers[_].dataLocalizationRegion == STRING
    input.Body.setupFinalization.phoneNumbers[_].tags[_].key == STRING
    input.Body.setupFinalization.phoneNumbers[_].tags[_].value == STRING
    input.Body.setupFinalization.phoneNumberParent == STRING
    input.Body.setupFinalization.waba.id == STRING
    input.Body.setupFinalization.waba.eventDestinations[_].eventDestinationArn == STRING
    input.Body.setupFinalization.waba.eventDestinations[_].roleArn == STRING
    input.Body.setupFinalization.waba.tags[_].key == STRING
    input.Body.setupFinalization.waba.tags[_].value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.templateDefinition == BLOB
    input.Body.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.metaLibraryTemplate.templateName == STRING
    input.Body.metaLibraryTemplate.libraryTemplateName == STRING
    input.Body.metaLibraryTemplate.templateCategory == STRING
    input.Body.metaLibraryTemplate.templateLanguage == STRING
    input.Body.metaLibraryTemplate.libraryTemplateButtonInputs[_].type == STRING
    input.Body.metaLibraryTemplate.libraryTemplateButtonInputs[_].phoneNumber == STRING
    input.Body.metaLibraryTemplate.libraryTemplateButtonInputs[_].url.STRING == STRING
    input.Body.metaLibraryTemplate.libraryTemplateButtonInputs[_].otpType == STRING
    input.Body.metaLibraryTemplate.libraryTemplateButtonInputs[_].zeroTapTermsAccepted == BOOLEAN
    input.Body.metaLibraryTemplate.libraryTemplateButtonInputs[_].supportedApps[_].STRING == STRING
    input.Body.metaLibraryTemplate.libraryTemplateBodyInputs.addContactNumber == BOOLEAN
    input.Body.metaLibraryTemplate.libraryTemplateBodyInputs.addLearnMoreLink == BOOLEAN
    input.Body.metaLibraryTemplate.libraryTemplateBodyInputs.addSecurityRecommendation == BOOLEAN
    input.Body.metaLibraryTemplate.libraryTemplateBodyInputs.addTrackPackageLink == BOOLEAN
    input.Body.metaLibraryTemplate.libraryTemplateBodyInputs.codeExpirationMinutes == INTEGER
    input.Body.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.id == STRING
    input.Body.sourceS3File.bucketName == STRING
    input.Body.sourceS3File.key == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.mediaId == STRING
    input.Qs.originationPhoneNumberId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.metaTemplateId == STRING
    input.Qs.deleteAllTemplates == BOOLEAN
    input.Qs.id == STRING
    input.Qs.templateName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.mediaId == STRING
    input.Body.originationPhoneNumberId == STRING
    input.Body.metadataOnly == BOOLEAN
    input.Body.destinationS3PresignedUrl.url == STRING
    input.Body.destinationS3PresignedUrl.headers.STRING == STRING
    input.Body.destinationS3File.bucketName == STRING
    input.Body.destinationS3File.key == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.metaTemplateId == STRING
    input.Qs.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.nextToken == STRING
    input.Qs.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.resourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.id == STRING
    input.Qs.nextToken == STRING
    input.Qs.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.nextToken == STRING
    input.Body.maxResults == INTEGER
    input.Body.filters.STRING == STRING
    input.Qs.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.originationPhoneNumberId == STRING
    input.Body.sourceS3PresignedUrl.url == STRING
    input.Body.sourceS3PresignedUrl.headers.STRING == STRING
    input.Body.sourceS3File.bucketName == STRING
    input.Body.sourceS3File.key == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.id == STRING
    input.Body.eventDestinations[_].eventDestinationArn == STRING
    input.Body.eventDestinations[_].roleArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.originationPhoneNumberId == STRING
    input.Body.message == BLOB
    input.Body.metaApiVersion == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.resourceArn == STRING
    input.Body.tags[_].key == STRING
    input.Body.tags[_].value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.resourceArn == STRING
    input.Body.tagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.id == STRING
    input.Body.metaTemplateId == STRING
    input.Body.templateCategory == STRING
    input.Body.templateComponents == BLOB
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}