syntax_data: {"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"self.src.refs_from(src_state).map(|(src_ref,"}]}
source_snippet:                 self.src.refs_from(src_state).map(|(src_ref, src_state_prime)| {
context_before:                 // for each reference transition out of `src_state`...
context_after:                     // ...there exists a reference transition out of `dst_state`...