def len.eq

bend-ml-tensor@0.1.2.0 · main.bend:425

import Base

425def len.eq(xs: List<&2, F32>, n: Nat) -> Bool:
426  match xs n:
427    case Nil{} 0n:
428      True{}
429    case Con{h, t} 1n+p:
430      len.eq(t, p)
431    case _ _:
432      False{}