def kept

bendtorch-core@0.1.0.0 · src/autograd/reduce_fiber_proof.bend:229

import Base

229def kept(+keep: Bool, +position: Nat, rest: List<&2, Nat>) -> List<&2, Nat>:
230  match keep:
231    case True{}:
232      position <> rest
233    case False{}:
234      rest