interface CheckboxSettings implements GenericListSettings<string[], string[]>import { type CheckboxSettings } from "https://dotland.deno.dev/x/cliffy@v0.8.2/prompt.ts"; Propertiescheck: stringuncheck: stringoptions: CheckboxValueSettings