import type { PType } from "../PType/index.js";
import type { Term } from "../Term/index.js";
export declare function phoist<PInstance extends PType, SomeExtension extends {}>(closedTerm: Term<PInstance> & SomeExtension): Term<PInstance> & SomeExtension;