Package org.checkerframework.framework.util.typeinference8.bound
package org.checkerframework.framework.util.typeinference8.bound
-
ClassesClassDescriptionManages a set of bounds.A bound of the form:
G<a1, ..., an> = capture(G<A1, ..., An>).
G<a1, ..., an> = capture(G<A1, ..., An>).