DescribeStream

valid {
    input.Body.StreamArn == STRING
    input.Body.Limit == INTEGER
    input.Body.ExclusiveStartShardId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetRecords

valid {
    input.Body.ShardIterator == STRING
    input.Body.Limit == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetShardIterator

enum_ShardIteratorType := [ "TRIM_HORIZON", "LATEST", "AT_SEQUENCE_NUMBER", "AFTER_SEQUENCE_NUMBER" ]

valid {
    input.Body.StreamArn == STRING
    input.Body.ShardId == STRING
    input.Body.ShardIteratorType == enum_ShardIteratorType[_]
    input.Body.SequenceNumber == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListStreams

valid {
    input.Body.TableName == STRING
    input.Body.Limit == INTEGER
    input.Body.ExclusiveStartStreamArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}