import { Core, AlphaCtx } from "../../core";
import { Env } from "../../env";
import { Value } from "../../value";
export declare class SigmaCore extends Core {
    name: string;
    car_t: Core;
    cdr_t: Core;
    constructor(name: string, car_t: Core, cdr_t: Core);
    evaluate(env: Env): Value;
    sigma_cars_repr(): Array<string>;
    sigma_cdr_t_repr(): string;
    repr(): string;
    alpha_repr(ctx: AlphaCtx): string;
}