import { ProgramTerms, StateEntry, PathEntry, StateData } from '../types/index.js';
export declare function init_paths(paths: PathEntry[], programs: ProgramTerms[]): StateEntry[];
export declare function update_path(action: string, path: string, state: StateData): void;
export declare function check_stamp(stamp: number, state: StateData): void;
