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