docs: static void makeDigit(Term term, boolean inverse, boolean unicode) {
          BlockSet digit = unicode ? inverse ? UNONDIGIT : UDIGIT :
                  inverse ? NONDIGIT : DIGIT;
          BlockSet.unify(digit, term);
      }