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())+ ")";
	}
}