MonoType.java

package types;

/**
 * Abstract base class for monomorphic types.
 *
 * @author Benedikt Meurer
 * @version $Id$
 */
public abstract class MonoType extends Type {
  //
  // Constructor (protected)
  //
  
  /**
   * Constructor for monomorphic types.
   */
  protected MonoType() {
    // nothing to do here...
  }
}