import { BaseEvent, EventQueuer } from '../../base_event';
export declare class InvalidSMTVerificationEvent extends BaseEvent<undefined> {
    error(ctx: EventQueuer): void;
}