docs: def atleast(cls, lits, weights=None, bound=1, top_id=None,
              encoding=EncType.best):
          """
              A synonym for :meth:`PBEnc.geq`.
          """
  
          return cls.geq(lits, weights, bound, top_id, encoding)