| ((C.MutConstruct (uri1,typeno1,consno1,exp_named_subst1)),
(C.MutConstruct (uri2,typeno2,consno2,exp_named_subst2)))
| ((C.MutConstruct (uri1,typeno1,consno1,exp_named_subst1)),
| ((C.MutConstruct (uri1,typeno1,consno1,exp_named_subst1)),
(C.MutConstruct (uri2,typeno2,consno2,exp_named_subst2)))
| ((C.MutConstruct (uri1,typeno1,consno1,exp_named_subst1)),