import { StateData, WitnessData, MachineConfig } from '../types/index.js';
export declare function eval_witness(state: StateData, witness: WitnessData, marker?: number): StateData;
export declare function eval_schedule(state: StateData, marker?: number): StateData;
export declare function init_vm(config: MachineConfig): StateData;
