def Flat.count

bend-tensors@0.0.0.2 · bend_tensors.bend:1701

import Base

1701def Flat.count(+rows: Nat, +cols: Nat) -> Nat:
1702  Nat.mul(rows, cols)