valid {
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.inventoryMetadata == STRING
    input.Body.configurationOnDevice.configurationIdentifier == STRING
    input.ReqMap.familyIdentifier == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.serialNumber == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

enum_ManageLinkRequestOperation := [ "Link", "Unlink", "Relink" ]

valid {
    input.Body.managementResourceArmId == STRING
    input.Body.operation == enum_ManageLinkRequestOperation[_]
    input.Body.tenantId == STRING
    input.ReqMap.familyIdentifier == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.location == STRING
    input.ReqMap.serialNumber == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

valid {
    input.Body.serialNumber == STRING
    input.Body.familyIdentifier == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}