let matches type1 type2 = String.trim (GenCast.get_tname type1) = String.trim type2