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