import { PList, PPair, TermFn } from "../../../../PTypes/index.js";
import { TermType, ToPType } from "../../../../type_system/index.js";
import { PMaybeT } from "../../PMaybe/index.js";
export declare function plookup<KT extends TermType, VT extends TermType>(kT: KT, vT: VT): TermFn<[
    ToPType<KT>,
    PList<PPair<ToPType<KT>, ToPType<VT>>>
], PMaybeT<ToPType<VT>>>;