StdBool.not :== not
<{StdBool.||}> :== or
<{StdBool.&&}> :== and
<{StdBool.==_3}> :== eq
StdBool.toBool_4 !a_0 = a_0
StdBool.fromBool_5 !a_0 = a_0
StdBool.fromBool_6 !a_0 = if a_0 "True" "False"
StdBool.toString_7 !a_0 = if a_0 "True" "False"