import { Core, AlphaCtx } from "../core";
import { Env } from "../env";
import { Value } from "../value";
export declare class TodoCore extends Core {
    note: string;
    t: Value;
    constructor(note: string, type: Value);
    evaluate(env: Env): Value;
    repr(): string;
    alpha_repr(ctx: AlphaCtx): string;
}