import * as React from "react"; import { IOWidget, Options, Fun } from "../shared/widget"; export interface DropdownProps { options?: Options; selected?: a; input: a[]; to_string: Fun; on_done: (output: a | null) => void; } export interface DropdownState { } export declare class Dropdown extends React.Component, DropdownState> { constructor(props: DropdownProps, context: any); render(): JSX.Element; } export declare let dropdown: (to_string: Fun, options?: Options | undefined) => IOWidget<[a[], a | undefined], a | null>;