import { Env } from "../env";
import * as Exps from "../exp";
import { Goal } from "../goal";
export declare function evaluateGoal(env: Env, goal: Exps.Goal): Goal;