/**
 * Type parameter substitution for specialization
 */
import { IrType, IrStatement, IrExpression } from "@tsonic/frontend";
/**
 * Substitute type parameters in an IR type
 */
export declare const substituteType: (type: IrType, substitutions: Map<string, IrType>) => IrType;
/**
 * Substitute type parameters in a statement
 */
export declare const substituteStatement: (stmt: IrStatement, substitutions: Map<string, IrType>) => IrStatement;
/**
 * Substitute type parameters in an expression
 */
export declare const substituteExpression: (expr: IrExpression, substitutions: Map<string, IrType>) => IrExpression;
//# sourceMappingURL=substitution.d.ts.map