JavaPatternMatching/src/de/dhbwstuttgart/logger/Section.java

package de.dhbwstuttgart.logger;

public enum Section {
	TYPEINFERENCE,
	PARSER,
	CODEGEN,
	UNIFY, FINITECLOSURE;
}