Function bounded_inc

src/simplicity/bounded.h:22–24

x = min(*x + 1, UBOUNDED_MAX) */

/* *x = min(*x + 1, UBOUNDED_MAX) */
static inline void bounded_inc(ubounded* x) {
  if (*x < UBOUNDED_MAX) (*x)++;
}

/* 'pad(false, a, b)' computes the PADL(a, b) function.
 * 'pad( true, a, b)' computes the PADR(a, b) function.