let
orelse p q a =
match
p a
with
|
Three
.
X
->
q a
|
res
->
res