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