appstate.states.clear

valid {
    input.ReqMap.stateKey == INTEGER
    input.Qs.currentDataVersion == STRING
    input.ProviderMetadata.Region == STRING
}

appstate.states.delete

valid {
    input.ReqMap.stateKey == INTEGER
    input.ProviderMetadata.Region == STRING
}

appstate.states.get

valid {
    input.ReqMap.stateKey == INTEGER
    input.ProviderMetadata.Region == STRING
}

appstate.states.list

valid {
    input.Qs.includeData == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

appstate.states.update

valid {
    input.Body.data == STRING
    input.Body.kind == STRING
    input.ReqMap.stateKey == INTEGER
    input.Qs.currentStateVersion == STRING
    input.ProviderMetadata.Region == STRING
}