import { PType } from "../../PType/index.js";
import { Term } from "../../Term/index.js";
import { TermType } from "../../type_system/types.js";
export declare function matchNCtorsIdxs(_n: number, returnT: TermType): Term<PType>;