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