let
do_properties env item idps =
F
.p_conj (
List
.map (
fun
(_id,p)
->
do_prop env item p) idps)