@informalsystems/quint/dist/src/effects/builtinSignatures.d.ts

Core tool for the Quint specification language

/**
 * Effect signatures for built-in operators
 *
 * @author Gabriela Moreira
 *
 * @module
 */
import { EffectScheme, Signature } from './base';
export declare function getSignatures(): Map<string, Signature>;
export declare const standardPropagation: (arity: number) => EffectScheme;
export declare const booleanOperators: {
    name: string;
    effect: EffectScheme;
}[];
export declare const setOperators: {
    name: string;
    effect: EffectScheme;
}[];
export declare const mapOperators: {
    name: string;
    effect: EffectScheme;
}[];
export declare const recordOperators: {
    name: string;
    effect: EffectScheme;
}[];
export declare const tupleOperators: {
    name: string;
    effect: EffectScheme;
}[];
export declare const listOperators: {
    name: string;
    effect: EffectScheme;
}[];
export declare const integerOperators: {
    name: string;
    effect: EffectScheme;
}[];