Api.grow: def of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/storage/api.bend as Api
Lines 275-284 of bendtorch-core@0.1.0.0/src/storage/api.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/storage/api.bend&start_line=275&end_line=284

import Base
import bendtorch-core@0.1.0.0/src/storage/refinement.bend as Refinement

def grow(array: Array<F32>, +effect: Effect) -> Array<F32>:
  match effect:
    case Wrote{+i, +w}:
      Array.set(F32, array, i, w)
    case Kept{+i}:
      Refinement.first(F32, Array.get(F32, array, i))
    case Left{}:
      Pair.fst(Array<F32>, Array<F32>, Array.clone(F32, array))
    case Right{}:
      Pair.snd(Array<F32>, Array<F32>, Array.clone(F32, array))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.clone
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.get
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.set
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair.fst
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair.snd
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/storage/api.bend&name=Effect
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/storage/refinement.bend&name=first