#include <RawDigitAdder_35t.h>
Add two vectors together. Take stuck bits into account – i.e. do not add when stuck Allows for a scale factor to be applied to inputs: defaults to 1.