let tands l = List.fold_left tand TTrue l