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