import { PBool } from "../../PTypes/PBool.js";
import { PDelayed } from "../../PTypes/PDelayed.js";
import { TermFn } from "../../PTypes/PFn/PFn.js";
import { TermType } from "../../type_system/types.js";
import { ToPType } from "../../type_system/ts-pluts-conversion.js";
export declare const passert: import("../../index.js").Term<import("../../index.js").PLam<PBool, import("../../index.js").PUnit>> & {
    $: (input: import("../index.js").PappArg<PBool>) => import("../index.js").UtilityTermOf<import("../../index.js").PUnit>;
};
export declare const passertOrTrace: import("../../index.js").Term<import("../../index.js").PLam<import("../../index.js").PString, import("../../index.js").PLam<PBool, import("../../index.js").PUnit>>> & {
    $: (input: import("../index.js").PappArg<import("../../index.js").PString>) => import("../../index.js").Term<import("../../index.js").PLam<PBool, import("../../index.js").PUnit>> & {
        $: (input: import("../index.js").PappArg<PBool>) => import("../index.js").UtilityTermOf<import("../../index.js").PUnit>;
    };
};
export declare const passertAndContinue: <T extends TermType>(resultType: T) => TermFn<[PBool, PDelayed<ToPType<T>>], ToPType<T>>;