/**
 * Get the path to the Apalache distribution directory.
 * @param {string} version - The version of Apalache.
 * @returns {string} The path to the Apalache distribution directory.
 */
export declare function apalacheDistDir(version: string): string;
/**
 * Get the path to the Rust evaluator executable directory.
 * @param {string} version - The version of the evaluator.
 * @returns {string} The path to the directory that should contain the evaluator executable.
 */
export declare function rustEvaluatorDir(version: string): string;