import type { PType } from "../../PType/index.js";
import { Term } from "../../Term/index.js";
export declare function _plet<PVarT extends PType, SomeExtension extends object>(varValue: Term<PVarT>): Term<PVarT>;