def bool.word2

cswap-bend-cli@0.1.0.0 · setwrite.bend:69

import Base

69def bool.word2(t: Bool, f: Bool) -> Maybe<&2, Bool>:
70  match t f:
71    case True{} _:
72      Some{True{}}
73    case False{} True{}:
74      Some{False{}}
75    case False{} False{}:
76      None{}