import type { VariableStatementStructure } from 'ts-morph';
import type { VdmOperation } from '../vdm-types';
/**
 * @internal
 */
export declare function exportStatement(operations: VdmOperation[]): VariableStatementStructure;