def Sp.num

bendtorch-load@1.3.0.0 · main.bend:375

import Base

375# a number counts inside a list at depth 3; elsewhere it is not part of a tensor's entry
376def Sp.num(in_list: Bool, v: W64, ps: Ps) -> Ps:
377  match in_list ps:
378    case True{} Ps{d, c, p, n, f, dt, sh, of, ns, rs, bad}: Ps{d, False{}, p, n, f, dt, sh, of, Con{v, ns}, rs, bad}
379    case False{} Ps{d, c, p, n, f, dt, sh, of, ns, rs, bad}: Ps{d, False{}, p, n, f, dt, sh, of, ns, rs, bad}