import { PAsData, PLam } from "../../../../PTypes/index.js";
import { Term } from "../../../../Term/index.js";
import { TermType } from "../../../../type_system/index.js";
import { ToPType } from "../../../../type_system/ts-pluts-conversion.js";
export declare function _toData<T extends TermType>(t: T): (term: Term<ToPType<T>>) => Term<PAsData<ToPType<T>>>;
/**
 * @deprecated use `_toData` instead
 */
export declare const toData_minimal: typeof _toData;
export declare function _ptoData<T extends TermType>(t: T): Term<PLam<ToPType<T>, PAsData<ToPType<T>>>>;
/**
 * @deprecated use `_ptoData` instead
 */
export declare const ptoData_minimal: typeof _ptoData;