let
pand (p1, p2) =
match
p1, p2
with
|
Ptrue
, p2
->
p2
|
p1,
Ptrue
->
p1
|
p1, p2
->
Pand
(p1, p2)