def St.shape_eq

bendtorch-load@1.3.0.0 · main.bend:431

import Base

431def St.shape_eq(a: List<&2, W64>, b: List<&2, U32>) -> Bool:
432  match a b:
433    case Nil{} Nil{}: True{}
434    case Con{x, s} Con{y, t}: Bool.and(W64.eq(x, W64.of(y)), St.shape_eq(s, t))
435    case _ _: False{}