This library provides functions that perform type arithemtic over the type system of java5. for example, you can compute that list<string> is a sub-type of collection<string> but not collection<object>, you can compute the erasure of java.lang.reflect.type, or you can determine the array component type t from a[t]