def select_pick

bendtorch-core@0.1.0.0 · src/storage/api.bend:355

import Base
import bendtorch-core@0.1.0.0/src/storage/model.bend as Model

355def select_pick(+b: Bool, +w: F32, +c: F32) -> {Some{Bool.pick(F32, b, w, c)} == Model.select(F32, b, w, Some{c}) : Maybe<&2, F32>}:
356  match b:
357    case False{}:
358      {==}
359    case True{}:
360      {==}