The initial version of this chapter is little more than a stub. It will probably always benefit from expansion to cover more topics.
See defttag for user-level information about trust tags. The
``Essay on Trust Tags (Ttags)'' provides a lot of relevant background on trust
tags at the implementation level. A particularly important point to be
emphasized here is the following: The critical aspect of trust tags is that
whenever a trust tag is activated, the string
In general, Common Lisp computations with numbers are much faster when they only deal with ``small'' numbers called fixnums. See the ``Essay on Fixnum Declarations'' for information about fixnums and ACL2, including a description of the ranges for 32-bit fixnums in different Common Lisp implementations as of this writing. There may be some opportunities made available by modern Lisps that have 64-bit implementations. (CMUCL seems to be an exception.)
NEXT SECTION: developers-guide-releases