Class Term.Binary

    • Field Detail

      • arg1

        protected final Term arg1
      • arg2

        protected final Term arg2
    • Constructor Detail

      • Binary

        protected Binary​(String name,
                         int type,
                         Term arg1,
                         Term arg2)