export declare const pdigitToString: import("../../index.js").Term<import("../../index.js").PLam<import("../../index.js").PInt, import("../../index.js").PByteString>> & {
    $: (input: import("../index.js").PappArg<import("../../index.js").PInt>) => import("../index.js").UtilityTermOf<import("../../index.js").PByteString>;
};
export declare const ppositiveIntToBs: import("../../index.js").Term<import("../../index.js").PLam<import("../../index.js").PInt, import("../../index.js").PByteString>> & {
    $: (input: import("../index.js").PappArg<import("../../index.js").PInt>) => import("../index.js").UtilityTermOf<import("../../index.js").PByteString>;
};
export declare const pshowInt: import("../../index.js").Term<import("../../index.js").PLam<import("../../index.js").PInt, import("../../index.js").PByteString>> & {
    $: (someInput: import("../index.js").PappArg<import("../../index.js").PInt>) => import("../index.js").UtilityTermOf<import("../../index.js").PByteString>;
} & import("../std/UtilityTerms/BaseUtilityTerm.js").BaseUtilityTermExtension;