// This file is @generated by prost-build.
/// A file the engine wrote, for a front end to reveal or open. A path rather
/// than bytes: the engine is one process per user on this machine (ADR-0018),
/// so a path means the same thing on both sides, and an export exists on disk
/// precisely so a person can find it twice.