~/jendhub

def Blk.kcol

bend-tensors@0.0.0.2 · bend_tensors.bend:1584

import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensors
import Base

1584# row i of a block is padded past kj when i < ki, and entirely when not
1585def Blk.kcol(ki: Nat, i: Nat, +kj: Nat) -> Nat:
1586  Bool.pick(Nat, Nat.is_lt(i, ki), kj, 0n)

Uses (3)

Used by (1)