@informalsystems/quint/dist/src/builtin.d.ts

Core tool for the Quint specification language

/**
 * Builtin operators and values, defined in `builtin.qnt`
 *
 * @author Gabriela Moreira
 *
 * @module
 */
import { DocumentationEntry } from './docs';
import { ParseResult } from './parsing/quintParserFrontend';
import { IdGenerator } from './idGenerator';
/**
 * The documentation map for the builtin definitions
 *
 * @returns a map of builtin definition names to their documentation
 */
export declare function builtinDocs(gen: IdGenerator): ParseResult<Map<string, DocumentationEntry>>;