let
papp ?(loc=
Lexing
.dummy_pos,
Lexing
.dummy_pos) (p,lab,a) =
unamed ~loc (
Papp
(p,lab,a))