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