BendtorchCore.allocate: def of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/storage/main.bend as BendtorchCore
Lines 31-38 of bendtorch-core@0.1.0.0/src/storage/main.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/storage/main.bend&start_line=31&end_line=38

import Base
import bendtorch-core@0.1.0.0/src/storage/array.bend as ArrayModel

def allocate(+d: Nat, +n: Nat, +value: F32, valid: Bool,
  -decision: {valid == bounds(d, n) : Bool}) -> Result<&2, &1, Error, Storage>:
  match valid:
    case False{}:
      Fail{TooLarge{}}
    case True{}:
      Done{Owned{d, n, Array.new(F32, d, value), ArrayModel.new_balanced(F32, d, value),
        Equal.sym(Bool, True{}, bounds(d, n), decision)}}

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.new
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Equal.sym
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/storage/array.bend&name=new_balanced
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/storage/main.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/storage/main.bend&name=Storage
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/storage/main.bend&name=bounds