let plet ?(loc=Lexing.dummy_pos,Lexing.dummy_pos) p = match p.content with
| (_, ({content = Ptrueas p)) -> p
| (v, p) -> unamed ~loc (Plet (v, p))