import * as L from './lang.js';
export declare function valueToString(col: number, v: L.Value, htmlOutput?: boolean): string;
export declare function expToString(col: number, e: L.Exp, htmlOutput?: boolean): string;
export declare function effectToString(col: number, effect: L.SEffect, outputBindings?: boolean, htmlOutput?: boolean): string;
export declare function stmtToString(col: number, stmt: L.Stmt, outputBindings?: boolean, htmlOutput?: boolean): string;
export declare function progToString(col: number, prog: L.Program, outputBindings?: boolean, htmlOutput?: boolean, lineSep?: string): string;
//# sourceMappingURL=pretty.d.ts.map