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