import type { PType } from "../../PType/index.js";
import { Term } from "../../Term/index.js";
import { UtilityTermOf } from "../std/UtilityTerms/addUtilityForType.js";
export type LettedTerm<PVarT extends PType> = UtilityTermOf<PVarT> & {
    in: <PExprResult extends PType>(expr: (value: UtilityTermOf<PVarT>) => Term<PExprResult>) => Term<PExprResult>;
};
export declare function _old_plet<PVarT extends PType, SomeExtension extends object>(varValue: Term<PVarT> & SomeExtension): LettedTerm<PVarT>;