let
big_union l =
List
.fold_left union empty l