package org.whole.lang.firstorderlogic.model;

/** 
 * @generator Whole
 */
public interface SortType extends IFirstOrderLogicEntity, Type {
}