def one_hot3

mylsm-lsm-store@0.6.0.1 · src/Keys.bend:71

import Base

71# True exactly when one of three arbitrary predicates is true.
72def one_hot3(first: Bool, second: Bool, third: Bool) -> Bool:
73  match first second third:
74    case True{} False{} False{}:
75      True{}
76    case False{} True{} False{}:
77      True{}
78    case False{} False{} True{}:
79      True{}
80    case _ _ _:
81      False{}