def lab_fit

bend-ml-tensor-fork@0.1.6.0 · main.bend:384

import Base

384# a label past the row gives p = 0 and no one-hot cell, as c does: kept as c so that it fits a U32
385def lab_fit(inside: Bool, +y: Nat, +c: Nat) -> Nat:
386  match inside:
387    case True{}:
388      y
389    case False{}:
390      c