{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
    /// Returns the set of obligations that are in a pending state.
    pub fn map_pending_obligations<P, F, R>(&self, f: F) -> R