let
mk_conjunction pred_l =
(
Logic_const
.pands (
List
.map unamed pred_l)).content