export declare const pshowStr: import("../../index.js").Term<import("../../index.js").PLam<import("../../index.js").PString, import("../../index.js").PString>> & {
    $: (input: import("../index.js").PappArg<import("../../index.js").PString>) => import("../index.js").UtilityTermOf<import("../../index.js").PString>;
};
export declare const ptraceStr: import("../../index.js").Term<import("../../index.js").PLam<import("../../index.js").PString, import("../../index.js").PString>> & {
    $: (someInput: import("../index.js").PappArg<import("../../index.js").PString>) => import("../index.js").UtilityTermOf<import("../../index.js").PString>;
} & import("../std/UtilityTerms/BaseUtilityTerm.js").BaseUtilityTermExtension;