def len_is

bend-ml-tensor-array@0.1.19.0 · main.bend:759

import Base

759def len_is(xs: List<&2, F32>, n: Nat) -> Bool:
760  match xs n:
761    case Nil{} 0n:
762      True{}
763    case Con{h, t} 1n+p:
764      len_is(t, p)
765    case _ _:
766      False{}