import * as ast from "../ast";
import { GlobalEnv } from "./globalenv";
import { Env } from "./types";
export declare function checkStatement(genv: GlobalEnv, env: Env, stm: ast.Statement, returning: ast.Type | null, inLoop: boolean): void;