-- TTCN3 module extracted from ITU-T Z.169 (11/2008)

module Example2 { 

	import from XSD language "XML" all; 
	
	type XSD.Integer S1 (-infinity .. 2);

	type S1 S2 (-23 .. 1);

	type S2 S3 (-3 .. 0);

	type record C1 {
		S3 				base,
		XSD.Integer  	a1 optional,
		XSD.Float   	a2 optional
	} 
	with {
     	variant(a1) "name as capitalized, attribute";
     	variant(a2) "name as capitalized, attribute";
   	variant "untagged 'base'"
	};
} 
with { encode "XML"}