let
associative op es =
List
.fold_left (fold_assoc op) [] es