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