-- TTCN3 module extracted from ITU-T Z.169 (03/2011)

module NoNamespace { 

	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,a2) "name as capitalized ";
     variant(a1,a2) "attribute";
   variant(base) "untagged" 
	}
} with { 
encode "XML"; 
}