package ilog.language.design.types;

/**
 * @version     Last modified on Sat Mar 09 21:09:57 2002 by hak
 * @version          modified on Sat Feb 16 16:28:01 2002 by hak
 * @author      <a href="mailto:hak@ilog.fr">Hassan A&iuml;t-Kaci</a>
 * @copyright   &copy; 2000-2002 <a href="http://www.ilog.fr/">ILOG, S.A.</a>
 */


/**
 * This is an interface for types that are collections of a certain base type.
 */

public interface Collection
{
  /**
   * Returns the undereferenced base type.
   */
  public Type baseTypeRef ();

  /**
   * Returns the base type's value; that is, the current type binding of the
   * collection's elements.
   */
  public Type baseType ();
}