REMOVE-RAW-ARITY

remove arity information for raw mode
Major Section:  SET-RAW-MODE

Technical note: This macro is a no-op, and is not necessary, when ACL2 is built with #-acl2-mv-as-values.

The form (remove-raw-arity fn) undoes the effect of an earlier (remove-raw-arity fn val). See add-raw-arity.