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 }*/ }