/**
 * The installer's file operations on the local machine.
 *
 * Needed by download: today it writes straight into the user's final path,
 * and an interrupted download leaves the beginning of the file in place of
 * the whole thing. The install protocol is the same on both sides; only
 * these operations differ.
 */
import type { PathOps } from './installer.js';
export declare const localPathOps: PathOps;