def colsum_fin

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

import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray

import Base

1374def colsum_fin(-n: Nat, -m: Nat, g: G) -> MColSum<n, m>:
1375  match g:
1376    case G{ones, a, s}:
1377      MColSum{Mat{a}, Mat{s}}

Uses (4)

Used by (2)