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