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