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

Core tool for the Quint specification language

import { Effect, Entity } from './base';
export declare function simplify(e: Effect): Effect;
/**
 * Transforms entities of form [x, [y, z]] into [x, y, z]
 *
 * @param entity the entity to be transformed
 *
 * @returns the flattened form of union if a union.
 *          Otherwise, the entity without change.
 */
export declare function flattenUnions(entity: Entity): Entity;