		Search-engine friendly clone of the ACL2 documentation.

Syntax-abstraction

unary-opcall-name-to-unop

Unary operator call to unop.

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

Definition: *unary-opcall-name-to-unop*

(defconst *unary-opcall-name-to-unop*
 (cons
  (cons '"not" (unop-not))
  (cons
   (cons '"neg" (unop-neg))
   (cons
    (cons '"abs" (unop-abs))
    (cons (cons '"abs_wrapped" (unop-abs-wrapped))
          (cons (cons '"double" (unop-double))
                (cons (cons '"inv" (unop-inv))
                      (cons (cons '"square_root" (unop-square-root))
                            (cons (cons '"square" (unop-square))
                                  'nil)))))))))