import { Exp, ElaborationOptions } from "../exp";
import { Core } from "../core";
import { Value } from "../value";
import { Ctx } from "../ctx";
export declare function check(ctx: Ctx, exp: Exp, t: Value, opts?: ElaborationOptions): Core;