let
piff =
function
p,p'
->
Piff
(p,p')