bit/math.fj

———- Arithmetical Macros carry is both input and output

View source on GitHub

Macros

bit

  • bit.inc1 — Unsafe for dst==carry (but there is no reason in calling it that way)

  • bit.inc — x is a bit[:n]

  • bit.dec — x is a bit[:n]

  • bit.neg — x is a bit[:n]

  • bit.add1 — Unsafe for dst==carry (but there is no reason in calling it that way)

  • bit.add — dst,src are bit[:n]

  • bit.sub — dst,src are bit[:n]

bit.inc