Major Section: ACL2-BUILT-INS
When integers are viewed in their two's complement representation,
logior returns their bitwise logical inclusive or. In ACL2
logior is a
macro that expands into calls of the binary function
(logior) expands to
(logior x) expands to
The guard for
binary-logior requires its arguments to be integers.
Logior is defined in Common Lisp. See any Common Lisp
documentation for more information.