import type { TermFn, PString } from "../../PTypes/index.js";
import { TermType, ToPType } from "../../type_system/index.js";
export declare function ptrace<ReturnT extends TermType>(returnT: ReturnT): TermFn<[PString, ToPType<ReturnT>], ToPType<ReturnT>>;