import * as React from "react";
import { TraceTag } from "../../vm";
import { Transcript } from "../transcript";
interface Props {
    transcript: Transcript;
}
interface State {
    items: {
        title: string;
        value: TraceTag;
        checked: boolean;
    }[];
}
export declare class Tracing extends React.Component<Props, State> {
    constructor(props: Props);
    make_items(): {
        title: string;
        value: TraceTag;
        checked: boolean;
    }[];
    render(): JSX.Element;
    render_item(x: State["items"][0], i: number): JSX.Element;
    on_changed(x: State["items"][0], i: number): void;
    make_filter(xs: State["items"]): {
        [k: string]: boolean;
    };
}
export {};