interface Springimport { type Spring } from "https://dotland.deno.dev/x/fresh@1.1.5/www/components/WaveTank.ts"; Propertiesp: numberv: number