def maybe_same

bendtorch-core@0.1.0.0 · src/tensor/layout.bend:198

import Base

198def maybe_same(a: Maybe<&2, List<&2, U32>>, b: Maybe<&2, List<&2, U32>>) -> Bool:
199  match a b:
200    case None{} None{}:
201      True{}
202    case Some{xs} Some{ys}:
203      words_same(xs, ys)
204    case _ _:
205      False{}