let
disjl l =
List
.fold_left disj _false l