def indices_result

bendtorch-core@0.1.0.0 · src/tensor/projection_LAWS.bend:25

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

25def indices_result(result: Result<&2, &1, Core.Error, U32 & U32>) -> Maybe<&1, U32 & U32>:
26  match result:
27    case Fail{error}:
28      None{}
29    case Done{indices}:
30      Some{indices}