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