Function u4_add_carry_nested

bitvm/src/u4/u4_add.rs:101–118

Calculates the modulo 16 of the u4 at the top of the stack also with the quotient, parameters being internal values

(current: u32, limit: u32)

/// Calculates the modulo 16 of the u4 at the top of the stack also with the quotient, parameters being internal values
pub fn u4_add_carry_nested(current: u32, limit: u32) -> Script {
    script! {
        OP_DUP
        OP_16
        OP_GREATERTHANOREQUAL
        OP_IF
            OP_16
            OP_SUB
            if current + 1 == limit {
                { current }
            } else {
                { u4_add_carry_nested(current+1, limit)}
            }
        OP_ELSE
            { current }
        OP_ENDIF
    }
}

/// Calculates the modulo 16 of the u4 at the top of the stack, parameters being internal values
pub fn u4_add_nested(current: u32, limit: u32) -> Script {