let pforall ?(loc=Lexing.dummy_pos,Lexing.dummy_pos) (l,p) = match l with | [] -> p | _ -> match p.content with | Ptrue -> p | _ -> unamed ~loc (Pforall (l,p))