import { StatefulPlugin } from '@edtr-io/plugin'; export declare const terminatorState: import("@edtr-io/abstract-plugin-state").StateType string)): void; }>; addition: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; multiplication: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; subtraction: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; division: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; power: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; size: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; negative: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; decimals: import("@edtr-io/abstract-plugin-state").StateType boolean)): void; }>; noMixed: import("@edtr-io/abstract-plugin-state").StateType boolean)): void; }>; practiceCount: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; }>, import("@edtr-io/abstract-plugin-state").StateTypesValueType<{ catalog: import("@edtr-io/abstract-plugin-state").StateType string)): void; }>; addition: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; multiplication: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; subtraction: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; division: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; power: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; size: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; negative: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; decimals: import("@edtr-io/abstract-plugin-state").StateType boolean)): void; }>; noMixed: import("@edtr-io/abstract-plugin-state").StateType boolean)): void; }>; practiceCount: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; }>, import("@edtr-io/abstract-plugin-state").StateTypesReturnType<{ catalog: import("@edtr-io/abstract-plugin-state").StateType string)): void; }>; addition: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; multiplication: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; subtraction: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; division: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; power: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; size: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; negative: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; decimals: import("@edtr-io/abstract-plugin-state").StateType boolean)): void; }>; noMixed: import("@edtr-io/abstract-plugin-state").StateType boolean)): void; }>; practiceCount: import("@edtr-io/abstract-plugin-state").StateType number)): void; }>; }>>; export declare const terminatorPlugin: StatefulPlugin;