@informalsystems/quint/dist/src/runtime/impl/runtimeValueDiff.d.ts

Core tool for the Quint specification language

import { Doc } from '../../prettierimp';
import { RuntimeValue } from './runtimeValue';
/**
 * Configuration for diff rendering behavior
 */
export interface DiffConfig {
    /**
     * Threshold for collapsing unchanged subtrees. If an unchanged subtree has
     * more than this many items/fields, it will be shown as "..."
     */
    collapseThreshold: number;
}
/**
 * Main public function to create a diff between two runtime values
 */
export declare function diffRuntimeValueDoc(a: RuntimeValue, b: RuntimeValue, config?: DiffConfig): Doc;