def rows.ok

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

import Base

434def rows.ok(rs: List<&2, List<&2, F32>>, +c: Nat, r: Nat) -> Bool:
435  match rs r:
436    case Nil{} 0n:
437      True{}
438    case Con{row, t} 1n+p:
439      Bool.and(len.eq(row, c), rows.ok(t, c, p))
440    case _ _:
441      False{}