def bl_len

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

import Base

1784def bl_len(-r: Nat, -c: Nat, bl: BL<r, c>) -> Nat:
1785  match bl:
1786    case BL{b, y}:
1787      List.length(&2, F32, y)