Definition of the defmin-int macro.
Submit the event generated by defmin-int-fn.
Macro:
(defmacro defmin-int (f y x1...xn body &key (guard 't) (verify-guards 't)) (cons 'make-event (cons (cons 'defmin-int-fn (cons (cons 'quote (cons f 'nil)) (cons (cons 'quote (cons y 'nil)) (cons (cons 'quote (cons x1...xn 'nil)) (cons (cons 'quote (cons body 'nil)) (cons (cons 'quote (cons guard 'nil)) (cons (cons 'quote (cons verify-guards 'nil)) (cons (cons 'cons (cons ''defmin-int (cons (cons 'quote (cons f 'nil)) 'nil))) '(state))))))))) 'nil)))