import * as ast from "../ast";
import { GlobalEnv } from "./globalenv";
export declare function checkProgramFragment(libs: ast.Declaration[], decls: ast.Declaration[]): GlobalEnv;
export declare function checkProgram(libs: ast.Declaration[], decls: ast.Declaration[]): void;