bit.inc1

Unsafe for dst==carry (but there is no reason in calling it that way)
{carry:dst}++
carry,dst are bits.

Signature

def inc1 dst, carry @ continue { ... }

Defined in bit/math.fj — lines 10–13 (view on GitHub).

Complexity

• Time: 2@+6

• Space: 2@+6

See the complexity glossary for what @, w, dw, dbit, n mean.

Depends on

• bit.inc.inc1_with_carry0_jump

Used by

• bit.add1