def same_or_invalid

stelliferous@0.0.2.0 · tensor.bend:115

import stelliferous@0.0.2.0/tensor.bend as Tensor

import Base
import stelliferous@0.0.2.0/tensor_shape.bend as Shapes

115def same_or_invalid(+left: List<&2,U32>,+right: List<&2,U32>) -> Reason:
116  mismatch(Shapes.same_extents(left,right),left,right)

Uses (5)

Used by (2)