COMPILATION

compiling ACL2 functions

Major Section: PROGRAMMING

Example:
ACL2 !>:comp app
ACL2 !>:set-compile-fns t

See comp and see set-compile-fns.