import { SopDefinition } from "../../type_system/types.js";
import type { Term } from "../../Term/index.js";
import { PStruct } from "../../PTypes/PStruct/pstruct.js";
import type { PSop } from "../../PTypes/PSoP/psop.js";
import { PMatchOptions } from "./PMatchOptions.js";
export declare function pmatch<SDef extends SopDefinition>(term: Term<PStruct<SDef, {}>> | Term<PSop<SDef, {}>>): PMatchOptions<SDef>;