let type_attributes2state dft ty = attributes2state dft (typeAttr ty)