import { ProgramEntry, StateData, WitnessData, StoreEntry, ProgramTerms } from '../types/index.js';
export declare function init_stores(prog_ids: string[]): StoreEntry[];
export declare function init_programs(terms: ProgramTerms[]): ProgramEntry[];
export declare function run_program(state: StateData, witness: WitnessData): void;
