interface Page implements PageDataimport { type Page } from "https://deno.land/x/ter@0.15.51/types.d.ts"; Propertiesurl: URLoptionalhtml: stringoptionalheadings: Heading[]optionallinks: URL[]optionalindex: "dir" | "tag"