{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"initializer:"}]}
            initializer: const_.body(),
            ty_annotation: const_.ty(),
            definition: Definition::Const(def),