public static String prettyType ( int degree , Type t ) { StringBuilder b = new StringBuilder ( ) ; for ( int i = degree ; i > 0 ; i -- ) { b . append ( "set<" ) ; } b . append ( t . toString ( ) . toLowerCase ( ) ) ; for ( int i = 0 ; i < degree ; i ++ ) { b . append ( ">" ) ; } return b . toString ( ) ; }
Pretty textual representation of a given element type .