Major Section: ACL2-BUILT-INS
Zpf is exactly the same as
zp, except that
zpf is intended for,
and faster for, fixnum arguments. Its guard is specified with a type
(type (unsigned-byte 29) x). (See declare and
see type-spec.) Also see zp.
To see the ACL2 definition of this function, see pf.