def capacity_loop

stelliferous@0.0.2.0 · kernel_planning.bend:35

import stelliferous@0.0.2.0/kernel_planning.bend as KernelPlanning

import Base

35def capacity_loop(remaining: Nat,+value: U32,+capacity: Nat,zero: Bool) -> Nat:
36  match remaining zero:
37    case 0n zero: capacity
38    case 1n+rest True{}: capacity
39    case 1n+rest False{}:
40      +next = U32.shr(value)
41      capacity_loop(rest,next,Nat.double(capacity),U32.is_zero(next))

Uses (6)

Used by (1)

stelliferous@0.0.2.0/kernel_planning:capacity