interface CheckboxOptions implements GenericListOptions<string[], string[]>import { type CheckboxOptions } from "https://dotland.deno.dev/x/cliffy@v0.6.1/prompt.ts"; Propertiesoptionalcheck: stringoptionaluncheck: stringoptions: CheckboxValueOptions