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