// Generated by scripts/verified-kernels.ts from proofs/storage.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 storageTransition: Machine;