let
conjl l =
List
.fold_left conj _true l