Existential

public final class Existential
extends Type
implements java.io.Serializable

Constructors
Modifier	Constructor and Description
`protected`	`Existential(Type _baseType, TypeParameter[] _clause)`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`Type`	`baseType()`
`TypeParameter[]`	`clause()`
`static Existential`	`create(Type _baseType, TypeParameter[] _clause)`
`boolean`	`equals(java.lang.Object obj)`
`int`	`hashCode()`
`static Existential`	`of(Type _baseType, TypeParameter[] _clause)`
`java.lang.String`	`toString()`
`Existential`	`withBaseType(Type baseType)`
`Existential`	`withClause(TypeParameter[] clause)`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

protected Existential(Type _baseType,
                      TypeParameter[] _clause)

public static Existential create(Type _baseType,
                                 TypeParameter[] _clause)

public static Existential of(Type _baseType,
                             TypeParameter[] _clause)

public Existential withBaseType(Type baseType)

public Existential withClause(TypeParameter[] clause)

public boolean equals(java.lang.Object obj)

Class Existential