{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"defining_ty,"}]}
            defining_ty,
            num_universals,
            unnormalized_output_ty: *unnormalized_output_ty,