let pimplies ?(loc=Lexing.dummy_pos,Lexing.dummy_pos) (p1,p2) = match p1.content,p2.content with | Ptrue, _ | _, Ptrue -> p2 | Pfalse, _ -> {name = p1.name ; loc = loc; content = Ptrue } | _, _ -> unamed ~loc (Pimplies (p1, p2))