BINOP-TABLE

associates binary function with the corresponding macro
Major Section:  SWITCHES-PARAMETERS-AND-MODES-OH-MY

Examples:
ACL2 !>(binop-table (w state))
'((binary-+ . +)
  (binary-* . *)
  (binary-append . append)
  (binary-logand . logand)
  (binary-logior . logior)
  (binary-logxor . logxor)
  (binary-logeqv . logeqv))

See table for a general discussion of tables.

See add-binop for a more general discussion of this table.