import type { Machine, MachineState } from "./generated/policy.js";
export type { Machine, MachineState };
/** Trusted codec: Booleans cross the machine boundary as 0/1 naturals. */
export declare const bit: (value: boolean) => number;
/** Injective string interning for one machine call. Equal strings share an id;
 * ids are never reused, so identity comparisons in the kernel are exact. */
export declare class Interner {
    #private;
    readonly first: number;
    constructor(first?: number);
    id(name: string): number;
    name(id: number): string;
}
/** A set of interned ids as the 0/1 cells a carried machine set reads. */
export declare const idSet: (ids: Iterable<number>) => Map<number, number>;
/** The ids a machine map holds, refusing anything but a 0/1 set with a 0 default. */
export declare const members: (state: MachineState, map: string) => number[];
//# sourceMappingURL=machine.d.ts.map