Function pad

src/simplicity/bounded.h:29–31

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

 * 'pad( true, a, b)' computes the PADR(a, b) function.
 */
static inline ubounded pad(bool right, ubounded a, ubounded b) {
  return bounded_max(a, b) - (right ? b : a);
}

enum { overhead = 100 }; /* milli weight units */
#endif