let
bool3_of_bool b =
if
b
then
True
else
False