		Search-engine friendly clone of the ACL2 documentation.

Template-generators

Gen-template-fn-nonrecursive

Generate a schematic non-recursive function definition.

Macro: gen-template-fn-nonrecursive

(defmacro gen-template-fn-nonrecursive
          (fn body &key (arity '1) (logic 't))
 (cons
  'make-event
  (cons
       (cons 'template-fn-nonrecursive
             (cons (cons 'quote (cons fn 'nil))
                   (cons (cons 'quote (cons body 'nil))
                         (cons (cons 'quote (cons arity 'nil))
                               (cons (cons 'quote (cons logic 'nil))
                                     'nil)))))
       'nil)))