def select

bendtorch-core@0.1.0.0 · src/storage/model.bend:72

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

72def select(-T: Data, b: Bool, value: T, old: Maybe<&2, T>) -> Maybe<&2, T>:
73  match b:
74    case False{}:
75      old
76    case True{}:
77      Some{value}

Uses (2)

Used by (11)