let
bool3not c =
match
c
with
|
True
->
False
|
False
->
True
|
Undefined
->
Undefined