def capacity
import stelliferous@0.0.2.0/kernel_planning.bend as KernelPlanningimport Base
43def capacity(+elements: U32) -> Nat:
44 +value = (U32.max(1,elements) - 1 : U32)
45 capacity_loop(32n,value,1n,U32.is_zero(value))
import stelliferous@0.0.2.0/kernel_planning.bend as KernelPlanningimport Base
43def capacity(+elements: U32) -> Nat:
44 +value = (U32.max(1,elements) - 1 : U32)
45 capacity_loop(32n,value,1n,U32.is_zero(value))