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

Core tool for the Quint specification language

import { Effect } from './base';
import { Either } from '@sweet-monads/either';
/**
 * Parses an effect string into an Effect
 *
 * @param effectString the string to be parsed
 *
 * @returns the parsed effect when the string is a valid effect.
 *          Otherwise, a list of parsing errors.
 */
export declare function parseEffect(effectString: string): Either<any[], Effect>;
export declare function parseEffectOrThrow(effect: string): Effect;