--- /dev/null
+a : AggreDist = NumericDist {\r
+ AD_type = 0,\r
+ AD_dist_classes = 3,\r
+ AD_dist = [\r
+ (2, 0.3),\r
+ (5, 0.5),\r
+ (8, 0.2)\r
+ ]\r
+}\r
+\r
+/*\r
+VALUE_DEFINITIONS 13\r
+ VALUE_DEFINITION 14\r
+ a 23\r
+ TYPE_REFERENCE 10\r
+ AggreDist 23\r
+ TAGGED_VALUE 19\r
+ NumericDist 23\r
+ RECORD 20\r
+ ASSIGNMENT 22\r
+ AD_type 23\r
+ 0 24\r
+ ASSIGNMENT 22\r
+ AD_dist_classes 23\r
+ 3 24\r
+ ASSIGNMENT 22\r
+ AD_dist 23\r
+ ARRAY 17\r
+ TUPLE 18\r
+ 2 24\r
+ 0.3 26\r
+ TUPLE 18\r
+ 5 24\r
+ 0.5 26\r
+ TUPLE 18\r
+ 8 24\r
+ 0.2 26\r
+ */
\ No newline at end of file