interface DynamoDBStreamEventimport { type DynamoDBStreamEvent } from "https://deno.land/x/lambda@1.24.2/mod.ts"; PropertiesRecords: DynamoDBRecord[]