@informalsystems/quint/dist/test/builders/ir.d.ts

Core tool for the Quint specification language

import { IdGenerator } from '../../src/idGenerator';
import { QuintDeclaration, QuintDef, QuintEx, QuintModule } from '../../src/ir/quintIr';
import { QuintType } from '../../src/ir/quintTypes';
export declare function buildModuleWithExpressions(expressions: string[]): QuintModule;
export declare function buildModuleWithDecls(decls: string[], name?: string, idGenerator?: IdGenerator): QuintModule;
export declare function buildModule(defs: string[], expressions: string[], name?: string, idGenerator?: IdGenerator): QuintModule;
export declare function buildDecl(decl: string): QuintDeclaration;
export declare function buildDef(def: string): QuintDef;
export declare function buildExpression(expression: string): QuintEx;
export declare function buildType(type: string): QuintType;