-a : 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
- a = { a=1, b="keijo" } : { a : Integer(Range=[0 ..]), b : String }*/\r
- }\r
+a : NumericDist = {
+ AD_type = 0,
+ AD_dist_classes = 3,
+ AD_dist = [
+ (2, 0.3),
+ (5, 0.5),
+ (8, 0.2)
+ ]/*,
+ a = { a=1, b="keijo" } : { a : Integer(Range=[0 ..]), b : String }*/
+ }