import { ErrorDetails } from './result.js';
import { Exp, Env, Program } from './lang.js';
declare function scopeCheckExp(e: Exp, env?: Env): ErrorDetails[];
declare function scopeCheckProgram(prog: Program, env?: Env): ErrorDetails[];
export { scopeCheckExp, scopeCheckProgram };
//# sourceMappingURL=scope.d.ts.map