{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"///"}]}
            /// The output path where the SCIP file will be written to. Defaults to `index.scip`.
            optional --output path: PathBuf