// Generated by scripts/verified-kernels.ts from proofs/speculation.ts with gdp-wired@0.31.1. Do not edit.
export interface MachineState { scalars: Record<string, number>; maps: Record<string, Map<number, number>>; defaults?: Record<string, number> }
export interface Machine { init(params: object): MachineState; step(params: object, state: MachineState, input: object): MachineState }
export declare const speculationAdmission: Machine;
export declare const speculationCheck: Machine;
export declare const speculationAccounting: Machine;