def broadcast_extent

stelliferous@0.0.2.0 · tensor_shape.bend:53

import Base

53# NumPy broadcasting of one axis: equal extents, or one of them is 1.
54def broadcast_extent(same: Bool,left_one: Bool,right_one: Bool,left: U32,right: U32) -> Maybe<&2,U32>:
55  match same left_one right_one:
56    case True{} left_one right_one: Some{left}
57    case False{} True{} right_one: Some{right}
58    case False{} False{} True{}: Some{left}
59    case False{} False{} False{}: None{}