import { PSop } from "../../PTypes/PSoP/psop.js";
import { Term } from "../../Term/index.js";
import { SopDefinition } from "../../type_system/types.js";
import { PMatchOptions } from "./PMatchOptions.js";
export declare function pmatchSop<SDef extends SopDefinition>(sopTerm: Term<PSop<SDef, {}>>): PMatchOptions<SDef>;