def broadcast_checked.construct
bendtorch-core@0.1.0.0 · src/shape/core.bend:865
import bendtorch-core@0.1.0.0/src/shape/core.bend as Core
import Base
865def broadcast_checked.construct(+left: Shape, +right: Shape, left_padding: Nat, right_padding: Nat, minimal: PadMinimal<left_padding, right_padding>, -output: List<&2, U32>, aligned: Aligned(pad(left_padding, extents(left)), pad(right_padding, extents(right)), naturals(output)), result: ConstructResult<output>) -> Result<&2, &2, Error, BroadcastPlan>:
866 match result:
867 case SError{error}:
868 Fail{error}
869 case SBuilt{shape, preserved}:
870 Done{BPlan{left, right, shape, BAlign{left_padding, right_padding, minimal, broadcast_checked.realign(pad(left_padding, extents(left)), pad(right_padding, extents(right)), shape, output, preserved, aligned)}}}