def pick

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

import Base

112def pick(-T: Data, c: Bool, +a: T, +b: T) -> T:
113  match c:
114    case True{}:
115      a
116    case False{}:
117      b

Uses (1)