|
|
|---|
|
|
|
|---|
List of (the names of) the ACL2 functions that model Java primitive unary operations.
These are all the unary boolean, integer, and floating-point operations.
Definition:
(defconst *atj-jprim-unop-fns* '(boolean-not int-plus long-plus int-minus long-minus int-not long-not float-plus double-plus float-minus double-minus))