import { ToPType } from "../../../../type_system/ts-pluts-conversion.js";
import { TermType } from "../../../../type_system/types.js";
import { UtilityTermOf } from "../addUtilityForType.js";
export declare function makeMockUtilityTerm<T extends TermType>(t: T): UtilityTermOf<ToPType<T>>;