package lambdaKit.model.type;

/*
 * A factory for types.
 */
public interface TypeFactory {

	/*
	 * The root type.
	 */
	public Type anyType();
	
	/*
	 * Access to function types.
	 */
	public FunctionType functionType(Type from, Type to);
	
	/*
	 * Function type from AnyType.
	 */
	public FunctionType fromFunctionType(Type to);
}