def one_hot3

mylsm-lsm-store@0.3.2.0 · src/Keys.bend:55

import Base

55# True exactly when one of three arbitrary predicates is true.
56def one_hot3(first: Bool, second: Bool, third: Bool) -> Bool:
57  match first second third:
58    case True{} False{} False{}:
59      True{}
60    case False{} True{} False{}:
61      True{}
62    case False{} False{} True{}:
63      True{}
64    case _ _ _:
65      False{}