let
conjunct pos pl =
mkconjunct (
List
.map (pred $
Logic_const
.pred_of_id_pred) pl) pos