def construction

bendtorch-core@0.1.0.0 · src/tensor/construction_metadata.bend:57

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_PROOF.bend as AllocationProof

57def construction(+shape: Shape.Shape, +fill: F32) -> NewMetadata<shape, fill>:
58  +successful = generic_status_consumer(shape, fill)
59  NewMetadata{successful,
60    completed_dimensions(shape, Core.new(shape, fill), successful),
61    AllocationProof.core_new(shape, fill),
62    completed_count(shape, Core.new(shape, fill), successful)}