import type { TableProgram } from './program.ts';
/**
 * Walk the REACHABLE instructions of a program.
 *
 * A histogram over the raw word stream is not this: operands are ordinary
 * numbers and collide with opcode values, so counting words would report
 * confident nonsense. Reachability from the rule entries, decoding each
 * instruction's declared width, is the only correct read.
 */
export declare function reachableOps(prog: TableProgram): Map<number, number>;
/**
 * The reachable INSTRUCTION OFFSETS, which is what any per-row question needs —
 * an opcode histogram cannot answer "which functions sit behind this row".
 */
export declare function reachableIps(prog: TableProgram): Set<number>;
export declare function opHistogram(prog: TableProgram): Record<string, number>;
//# sourceMappingURL=inspect.d.ts.map