COMPILATION

compiling ACL2 functions
Major Section:  PROGRAMMING

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

See comp and see set-compile-fns.