/**
 * Uses the Rust evaluator to determine which invariants are violated at a given state.
 *
 * @module
 */
import { QuintEx } from '../ir/quintIr';
import { LookupTable } from '../names/base';
import { ItfState } from '../itf';
import { Either } from '@sweet-monads/either';
import { QuintError } from '../quintError';
/**
 * Evaluate invariant expressions at a given ITF state using the Rust evaluator,
 * and return the indices of invariants that evaluated to false.
 *
 * @param state - The last state as a raw ITF value.
 * @param table - The lookup table for name resolution.
 * @param exprs - The parsed invariant expressions.
 * @param verbosityLevel - The verbosity level for logging.
 *
 * @returns Either an error or the indices of violated invariants.
 */
export declare function findViolatedInvariants(state: ItfState, table: LookupTable, exprs: QuintEx[], verbosityLevel: number): Promise<Either<QuintError, number[]>>;