-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