syntax_data: {"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"|(index,"}]}
source_snippet:                     |(index, (clause, span)): (usize, (I::Clause, I::Span))| {
context_before:                 let map_to_child_clause =
context_after:                         elaboratable.child_with_derived_cause(