def read_total_certificate
bendtorch-core@0.1.0.0 · src/tensor/transform_PROOF.bend:1287
import bendtorch-core@0.1.0.0/src/tensor/transform_PROOF.bend as TransformPROOF
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
1287def read_total_certificate(-shape: Shape.Shape, -original: Core.Tensor<shape>, +index: U32,
1288 info: ReadTotalInfo<shape, original, index>) -> ReadSuccessModel<shape, original, index>:
1289 ReadTotalInfo{owner, same, present, model} = info
1290 read_success_model(shape, original, index, read_rebased(shape, original, owner, index, same, Core.read_certificate(shape, owner, index)), model, present)