Protocol.sat: def of bendonnect-rpc@0.1.0.0
Import: import bendonnect-rpc@0.1.0.0/src/protocol.bend as Protocol
Lines 198-202 of bendonnect-rpc@0.1.0.0/src/protocol.bend: https://jend.leeeet.dev/read.txt?path=bendonnect-rpc@0.1.0.0/src/protocol.bend&start_line=198&end_line=202

import Base

# acc*10 + d, clamped to U32 max.
def sat(+acc: U32, +d: U32) -> U32:
  Bool.pick(U32, U32.is_gt(acc, 429496729), 4294967295,
    Bool.pick(U32, Bool.and(U32.is_eq(acc, 429496729), U32.is_gt(d, 5)), 4294967295,
      (acc * 10 + d : U32)))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_gt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.mul