def GeometryOf

bendtorch-core@0.1.0.0 · src/tensor/batched_matmul_LAWS.bend:394

import Base
import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matrix
import bendtorch-core@0.1.0.0/src/tensor/batched_matmul.bend as Batched

394def GeometryOf(-output: List<&2, Nat>, -left: List<&2, Nat>, -right: List<&2, Nat>, -batch: List<&2, Nat>, -vectors: Bool & Bool,
395  result: Result<&2, &2, Matrix.Error, Batched.Plan>) -> Data:
396  match result:
397    case Fail{error}:
398      Unit
399    case Done{plan}:
400      Geometry<output, left, right, batch, vectors, plan>