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