def bl_fin
import bend-collections@1.0.0.0/src/math/w64.bend as W64import Base
220def bl_fin(st: Nat & U32) -> Nat:
221 (+base, +x) = st
222 Nat.add(base, U32.to_nat(U32.min(x, 1)))
import bend-collections@1.0.0.0/src/math/w64.bend as W64import Base
220def bl_fin(st: Nat & U32) -> Nat:
221 (+base, +x) = st
222 Nat.add(base, U32.to_nat(U32.min(x, 1)))