package ilog.language.design.types;

/**
 * @version     Last modified on Sat Jun 01 19:34:36 2002 by hak
 * @author      <a href="mailto:hak@ilog.fr">Hassan A&iuml;t-Kaci</a>
 * @copyright   &copy; 2002 <a href="http://www.ilog.fr/">ILOG, S.A.</a>
 */

/**
 * The class of dynamic types that are defined from an implicit (boolean) intension.
 */
//  public abstract class IntensionalType intends DynamicType
//  {
//  }