def OutputDimensions

bendtorch-core@0.1.0.0 · src/tensor/elementwise_totality.bend:52

import Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core

52def OutputDimensions(+output: List<&2, U32>, pair: (Core.Dynamic & Core.Dynamic) & Result<&2, &1, Core.Error, Core.Dynamic>) -> Type:
53  (inputs, result) = pair
54  match result:
55    case Fail{error}:
56      Unit
57    case Done{dynamic}:
58      {dimensions(dynamic) == output : List<&2, U32>}