import { TermFn } from "../../PTypes/index.js";
import { TermType, ToPType } from "../../type_system/index.js";
export declare function pid<TermT extends TermType>(termT: TermT): TermFn<[ToPType<TermT>], ToPType<TermT>>;