let
(|||) a b =
Bool_operator
(a,
`
Or
, b)