{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"width_span,"}]}
                        width_span,
                        Name(name, to_span(name_span)),
                        Width,