		Search-engine friendly clone of the ACL2 documentation.

Syntax-abstraction

binary-opcall-name-to-binop

Binary operator call to binop.

This constant is an alist that maps a binary operator call's identifier name to the binop that is used for it in the abstract syntax.

The key-value pairs are listed in the order the binop alternatives are defined.

Definition: *binary-opcall-name-to-binop*

(defconst *binary-opcall-name-to-binop*
 (cons
  (cons '"eq" (binop-eq))
  (cons
   (cons '"neq" (binop-ne))
   (cons
    (cons '"gte" (binop-ge))
    (cons
     (cons '"gt" (binop-gt))
     (cons
      (cons '"lte" (binop-le))
      (cons
       (cons '"lt" (binop-lt))
       (cons
        (cons '"xor" (binop-bitxor))
        (cons
         (cons '"or" (binop-bitior))
         (cons
          (cons '"and" (binop-bitand))
          (cons
           (cons '"shl" (binop-shl))
           (cons
            (cons '"shr" (binop-shr))
            (cons
             (cons '"add" (binop-add))
             (cons
              (cons '"sub" (binop-sub))
              (cons
               (cons '"mul" (binop-mul))
               (cons
                (cons '"div" (binop-div))
                (cons
                 (cons '"rem" (binop-rem))
                 (cons
                  (cons '"pow" (binop-pow))
                  (cons
                   (cons '"nand" (binop-nand))
                   (cons
                    (cons '"nor" (binop-nor))
                    (cons
                     (cons '"shl_wrapped"
                           (binop-shl-wrapped))
                     (cons
                      (cons '"shr_wrapped"
                            (binop-shr-wrapped))
                      (cons
                       (cons '"add_wrapped"
                             (binop-add-wrapped))
                       (cons
                        (cons '"sub_wrapped"
                              (binop-sub-wrapped))
                        (cons
                         (cons '"mul_wrapped"
                               (binop-mul-wrapped))
                         (cons
                          (cons '"div_wrapped"
                                (binop-div-wrapped))
                          (cons
                              (cons '"rem_wrapped"
                                    (binop-rem-wrapped))
                              (cons (cons '"pow_wrapped"
                                          (binop-pow-wrapped))
                                    'nil))))))))))))))))))))))))))))