StdBool.not :== not
<{StdBool.||}> :== or
<{StdBool.&&}> :== and
<{StdBool.==_3}> :== eqB
StdBool.toBool_4 !a_0 = a_0
StdBool.fromBool_5 !a_0 = a_0
StdBool.fromBool_6 !a_0 = case a_0 (True -> "True") (False -> "False")
StdBool.toString_7 !a_0 = case a_0 (True -> "True") (False -> "False")



