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