~/jendhub

def shape_construct_complete

bendtorch-core@0.1.0.0 · src/tensor/transform_PROOF.bend:1341

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/shape/LAWS.bend as ShapeLaws

1341def shape_construct_complete(+shape: Shape.Shape) ->
1342  {ShapeLaws.built(Shape.dimensions(shape), Shape.construct(Shape.dimensions(shape))) == Some{Shape.dimensions(shape)} : Maybe<&2, List<&2, U32>>}:
1343  match shape:
1344    case Shape.SShape{+dimensions, size, exact, rank_bound, capacity_bound}:
1345      ShapeLaws.construction_complete(dimensions, rank_bound, capacity_bound)

Uses (8)

Used by (2)