{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"///"}]}
    /// the total number of crates that have finished priming
    pub crates_total: usize,
    pub crates_done: usize,