{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"pub"}]}
    pub crates_done: usize,
    /// the total number of crates that have finished priming
    pub work_type: &'static str,