~/jendhub

def digit

bendtorch-core@0.1.0.0 · src/tensor/permute_build.bend:83

import bendtorch-core@0.1.0.0/src/tensor/permute_build.bend as PermuteBuild
import Base

83def digit(+mods: List<&2, Nat>, +size: Nat, +x: Nat) -> Nat:
84  match mods:
85    case Nil{}:
86      Nat.div(x, size)
87    case +m <> rest:
88      digit(rest, size, Nat.mod(x, m))

Uses (4)

Used by (1)