def same_extents

stelliferous@0.0.2.0 · tensor_shape.bend:17

import Base

17def same_extents(left: List<&2,U32>,right: List<&2,U32>) -> Bool:
18  match left right:
19    case Nil{} Nil{}: True{}
20    case Con{x,xs} Con{y,ys}: U32.is_eq(x,y) && same_extents(xs,ys)
21    case left right: False{}