1197
cv1=const_vol_attr_list t=ty cv2=const_vol_attr_list m=list(mul) { (cv1, t, cv2, m) }
1197
cv1=const_vol_attr_list t=ty cv2=const_vol_attr_list m=list(mul) { (cv1, t, cv2, m ) }
1198
| cv1=const_vol_attr_list t=ty cv2=const_vol_attr_list m=TAnd { (cv1, t, cv2, [(m,[])]) }
1199
| cv1=const_vol_attr_list t=ty cv2=const_vol_attr_list m=TAndLog { (cv1, t, cv2, [(m,[])]) }
1200
1202
full_ctype_and_ptr(all_basic_types)