type alias Refreshimport { type Refresh } from "https://deno.land/x/hkts@v0.0.52/datum.ts"; Type ParametersAdefinition: { readonly tag: "Refresh"; readonly value: A; }