たとえば、このユーザー定義型(のリテラル)は「アルファベット1文字と浮動少数点数の10進数で、-20以上、+20以下で少数点以下2桁までである」みたいに表現する仕組みを持っていて、その型への代入で「A07.42」みたいなのは許されるけど「10.00」「B21.00」「C1.9999」みたいなのは静的検査で弾かれるみたいなの＞＜