LiTL Data Types and Defined Variables

Modules
	General Data Types and Defined Variables
	Data Types for Recording Events
	Data Types for Reading Events
	Data Types for Merging Traces
	Data Types for Splitting Archives of Traces

Detailed Description