let
papp =
function
p,p'
->
Papp
(p,p')