import { TermType } from "../../../type_system/index.js";
export declare const plength: (elemsT: TermType) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../index.js").PList<import("../../../index.js").PType | import("../../../index.js").PStruct<import("../../../type_system/index.js").StructDefinition, import("../../../type_system/index.js").Methods> | import("../../../index.js").PSop<import("../../../type_system/index.js").SopDefinition, import("../../../type_system/index.js").Methods>>, import("../../../index.js").PInt>> & {
    $: (input: import("../../index.js").PappArg<import("../../../index.js").PList<import("../../../index.js").PType | import("../../../index.js").PStruct<import("../../../type_system/index.js").StructDefinition, import("../../../type_system/index.js").Methods> | import("../../../index.js").PSop<import("../../../type_system/index.js").SopDefinition, import("../../../type_system/index.js").Methods>>>) => import("../../index.js").UtilityTermOf<import("../../../index.js").PInt>;
};