import * as React from "react"; export interface NotificationOptions { kind?: string; text?: string; hc?: boolean; } export interface NotificationState { notifications?: pxt.Map; } export interface NotificationProps { } export declare class Notification extends React.Component { constructor(props?: NotificationProps); push(notification: NotificationOptions): void; remove(id: string): void; render(): JSX.Element; } export declare function pushNotificationMessage(options: NotificationOptions): void;