interface Userimport { type User } from "https://dotland.deno.dev/x/opine@2.2.0/examples/mvc/db.ts"; Propertiesoptionalname: stringoptionalpets: Pet[]optionalid: number