/**
 * A generic mapper for all languages.
 * If required, maps the final result produced by js-slang to
 * the required representation for the language.
 */
import { Context, Result } from "..";
/**
 * A representation of a value in a language.
 * This is used to represent the final value produced by js-slang.
 * It is separate from the actual value of the result.
 */
export declare class Representation {
    representation: string;
    constructor(representation: string);
    toString(): string;
}
export declare function mapResult(context: Context): (x: Result) => Result;
export declare const isSchemeLanguage: (context: Context) => boolean;