import { TermFn, PUnit } from "../../PTypes/index.js";
import { TermType, ToPType } from "../../type_system/index.js";
export declare function pchooseUnit<ReturnT extends TermType>(returnT: ReturnT): TermFn<[PUnit, ToPType<ReturnT>], ToPType<ReturnT>>;