~/jendhub

def halvings_step

bendtorch-core@0.1.0.0 · src/tensor/matmul.bend:310

import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matmul
import Base

310def halvings_step(rec: Nat -> Nat, +number: Nat, small: Bool) -> Nat:
311  match small:
312    case True{}:
313      0n
314    case False{}:
315      1n+rec(Nat.div(number, 2n))

Uses (3)

Used by (1)