/**
 *	Enum ETermType	
 * @author Joshua Peschke
 * @author Nico Braunisch  
 * @version 1.0
 */
package org.jalgo.module.lambda.model;

public enum ETermType {
	ATOM, APPLICATION, ABSTRACTION, SHORTCUT;
}
