import { ConcurrentAndFSM } from "./ConcurrentAndFSM"; import type { FSM } from "../../api/fsm/FSM"; import type { Logger } from "../../api/logging/Logger"; export declare class NotFSM extends ConcurrentAndFSM { private readonly mainFSM; constructor(mainFSM: FSM, negFSM: FSM, logger: Logger); }