def built

bendtorch-core@0.1.0.0 · src/shape/LAWS.bend:5

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

5def built(-input: List<&2, U32>, result: Shape.ConstructResult<input>) -> Maybe<&2, List<&2, U32>>:
6  match result:
7    case Shape.SError{error}:
8      None{}
9    case Shape.SBuilt{shape, preserved}:
10      Some{Shape.dimensions(shape)}