def pick

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/poly1305.bend:37

import Base

37def pick(b: Bool, x: Nat, y: Nat) -> Nat:
38  match b:
39    case True{}: x
40    case False{}: y