import type { TermFn, PLam, PList } from "../../../../PTypes/index.js";
import { TermType, ToPType } from "../../../../type_system/index.js";
export declare function pmap<FromT extends TermType, ToT extends TermType>(fromT: FromT, toT: ToT): TermFn<[PLam<ToPType<FromT>, ToPType<ToT>>, PList<ToPType<FromT>>], PList<ToPType<ToT>>>;