def same_count

stelliferous@0.0.2.0 · tensor_layout.bend:111

import stelliferous@0.0.2.0/tensor_layout.bend as TensorLayout
import Base

111def same_count(left: Maybe<&2,U32>,right: Maybe<&2,U32>) -> Bool:
112  match left right:
113    case Some{left} Some{right}: U32.is_eq(left,right)
114    case left right: False{}

Uses (4)

Used by (1)