import { PStruct } from "../../../../PTypes/PStruct/pstruct.js";
import { Term } from "../../../../Term/index.js";
import { Methods, StructDefinition } from "../../../../type_system/types.js";
import { TermStruct } from "../TermStruct.js";
export declare function mockPStructMethods<SDef extends StructDefinition, SMethods extends Methods>(struct: Term<PStruct<SDef, SMethods>>): TermStruct<SDef, SMethods>;