def core_new_done
bendtorch-core@0.1.0.0 · src/tensor/allocation_PROOF.bend:102
import bendtorch-core@0.1.0.0/src/tensor/allocation_PROOF.bend as AllocationPROOF
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import bendtorch-core@0.1.0.0/src/tensor/allocation_spec.bend as Allocation
102def core_new_done(+shape: Shape.Shape, +fill: F32) -> Allocation.TensorDone<shape, Core.new(shape, fill)>:
103 tensor_done(shape, Core.new(shape, fill), core_new(shape, fill))