import { type Event, type PropertyInfo, type Spec } from "../spec/index.ts";
/** What `never` properties remember of no path at all: a root's memory. */
export declare function rootMemory(spec: Spec): string;
/**
 * A `never` property judges the whole path, so two paths to one world are one state only if
 * the property remembers the same of both. It sees the path through `count` and `some`, each
 * over single events, so the answers those calls give are all it can remember: they go in the
 * fingerprint. A property that reads `trace.events` itself could remember anything, so then
 * the whole path goes in: no two paths are merged. Judging the path this way also says which
 * of them it breaks.
 */
export declare function memoryOf(nevers: PropertyInfo[], events: Event[]): {
    memory: string;
    nevers: string[];
};