def Bool.cmp
import Base596def Bool.cmp(a: Bool, b: Bool) -> Cmp:
597 match a b:
598 case False{} False{}:
599 EQ{}
600 case False{} True{}:
601 LT{}
602 case True{} False{}:
603 GT{}
604 case True{} True{}:
605 EQ{}