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>;