js-slang
Version:
Javascript-based implementations of Source, written in Typescript
19 lines (18 loc) • 651 B
TypeScript
/**
* 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;