import { Exp } from "../exp";
export declare function subst(target: Exp, name: string, exp: Exp): Exp;