import { TermType } from "../../../../type_system/index.js";
export declare function pincludes<ElemsT extends TermType>(elems_t: ElemsT): import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../index.js").PList<import("../../../../type_system/index.js").ToPType<ElemsT>>, import("../../../../index.js").PLam<import("../../../../type_system/index.js").ToPType<ElemsT>, import("../../../../index.js").PBool>>> & {
    $: (input: import("../../../index.js").PappArg<import("../../../../index.js").PList<import("../../../../type_system/index.js").ToPType<ElemsT>>>) => import("../../../../index.js").Term<import("../../../../index.js").PLam<import("../../../../type_system/index.js").ToPType<ElemsT>, import("../../../../index.js").PBool>> & {
        $: (input: import("../../../index.js").PappArg<import("../../../../type_system/index.js").ToPType<ElemsT>>) => import("../../../index.js").UtilityTermOf<import("../../../../index.js").PBool>;
    };
};