{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"precision_span:"}]}
                precision_span: None,
                precision: CountImplied,
                width: CountIs(10),