import { Exp, ExpMeta } from "../exp";
import { Ctx } from "../ctx";
import { Value } from "../value";
import { Core } from "../core";
export declare class Todo extends Exp {
    meta: ExpMeta;
    note: string;
    constructor(note: string, meta: ExpMeta);
    free_names(bound_names: Set<string>): Set<string>;
    subst(name: string, exp: Exp): this;
    repr(): string;
    check(ctx: Ctx, t: Value): Core;
}