def pick

bend-collections-laws-crypto@1.0.0.0 · src/math/generic.bend:72

import bend-collections-laws-crypto@1.0.0.0/src/math/generic.bend as Generic
import Base

72def pick(-T: Data, c: Bool, +a: T, +b: T) -> T:
73  match c:
74    case True{}:
75      a
76    case False{}:
77      b

Uses (1)

Used by (8)