def len.up

import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Bin

import Base

182def len.up(l: Nat) -> Nat:
183  match l:
184    case 0n:
185      0n
186    case 1n+k:
187      2n+k

Uses (1)