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