def bool_cases

bend-collections-laws-math@1.0.0.0 · proofs/lib/logic.bend:48

import bend-collections-laws-math@1.0.0.0/proofs/lib/logic.bend as Logic

import Base

48def bool_cases(b: Bool) -> Or({b == True{} : Bool}, {b == False{} : Bool}):
49  match b:
50    case True{}:
51      Inl{{==}}
52    case False{}:
53      Inr{{==}}

Uses (3)

Bool
Either
Or

Used by (0)

No other definition uses this definition.