package xsbti.api; import java.util.Arrays; import java.util.List; public class Existential extends Type { public Existential(Type baseType, TypeParameter[] clause) { this.baseType = baseType; this.clause = clause; } private final Type baseType; private final TypeParameter[] clause; public final Type baseType() { return baseType; } public final TypeParameter[] clause() { return clause; } public String toString() { return "Existential(" + "baseType: " + baseType() + ", " + "clause: " + Arrays.toString(clause())+ ")"; } }