def ML.len

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

import Base

803def ML.len(-r: Nat, -c: Nat, ml: ML<r, c>) -> Nat:
804  match ml:
805    case ML{m, l}:
806      List.length(&2, F32, l)