def pair_offsets

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

import Base

7def pair_offsets(left: Maybe<&2, U32>, right: Maybe<&2, U32>) -> Maybe<&1, U32 & U32>:
8  match left right:
9    case None{} _:
10      None{}
11    case Some{left} None{}:
12      None{}
13    case Some{left} Some{right}:
14      Some{(left, right)}