bool.cas

show True  = "true"
show False = "false"

&& True True = True
&& Bool Bool = False

|| False False = False
|| Bool Bool   = True

== True True   = True
== False False = True
== Bool Bool   = False

! True = False
! False = True

if True  a _ = a
if False _ b = b