		Search-engine friendly clone of the ACL2 documentation.

Primitive-function-macros

Def-float-unary

Specialization of def-primitive-unary to the case in which input and output types are float.

Macro: def-float-unary

(defmacro def-float-unary (name &key operation
                                (parents 'nil parents-suppliedp)
                                (short 'nil short-suppliedp)
                                (long 'nil long-suppliedp))
 (cons
  'def-primitive-unary
  (cons
   name
   (cons
    ':in-type
    (cons
     '(primitive-type-float)
     (cons
      ':out-type
      (cons
       '(primitive-type-float)
       (cons
        ':operation
        (cons
           operation
           (append (and parents-suppliedp
                        (list :parents parents))
                   (append (and short-suppliedp (list :short short))
                           (and long-suppliedp
                                (list :long long)))))))))))))