@informalsystems/quint/dist/test/util.d.ts

Core tool for the Quint specification language

import { QuintEx, QuintModule } from '../src/ir/quintIr';
import { ParserPhase3 } from '../src/parsing/quintParserFrontend';
export declare function collectIds(module: QuintModule): bigint[];
/** `quinExAreEqual(a, b)` is `true` when the expressions `a` and `b` are structurally equal, modulo ids
 *
 * This tells us whether `a` and `b` represent the same expression,
 * irrespective of when or where they were constructed.
 */
export declare function quintExAreEqual(a: QuintEx, b: QuintEx): boolean;
export declare function parseMockedModule(text: string): ParserPhase3;