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