Keys.one_hot3: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/Keys.bend as Keys
Lines 71-81 of mylsm-lsm-store@0.6.0.1/src/Keys.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/Keys.bend&start_line=71&end_line=81

import Base

# True exactly when one of three arbitrary predicates is true.
def one_hot3(first: Bool, second: Bool, third: Bool) -> Bool:
  match first second third:
    case True{} False{} False{}:
      True{}
    case False{} True{} False{}:
      True{}
    case False{} False{} True{}:
      True{}
    case _ _ _:
      False{}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool