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

Core tool for the Quint specification language

import { RuntimeValue } from './runtimeValue';
export declare class Trace {
    private states;
    get(): RuntimeValue[];
    reset(values?: RuntimeValue[]): void;
    extend(state: RuntimeValue): void;
}