let rec mkconjunct elist pos = match elist with | [] -> true_expr | [e] -> e | e::el -> mkexpr (JCPEbinary(e,`Bland,mkconjunct el pos)) pos