~/jendhub

def bl_fin

bend-collections-laws-math@1.0.0.0 · src/math/w64.bend:220

import bend-collections-laws-math@1.0.0.0/src/math/w64.bend as W64
import Base

220def bl_fin(st: Nat & U32) -> Nat:
221  (+base, +x) = st
222  Nat.add(base, U32.to_nat(U32.min(x, 1)))

Uses (7)

Used by (5)