import type { NaturalProofStepInput, PropProofStep } from "../../../models";
/**
 * Generates a PropProofStep object for use in Natural-style logic derivations.
 * Supports Assumption, Derivation, Premise, Reiteration and Shortcut step types. Applies appropriate
 * rule-based transformations and constructs the string and symbolic expression views.
 * @param input - An object with necessary data for the new proof step.
 * @returns An array of new proof steps based on the input.
 * @category Natural Calculus
 */
export declare function generateNaturalProofSteps<T>(input: NaturalProofStepInput<T>): PropProofStep[];