let
tands l =
List
.fold_left tand
TTrue
l