All-program-fns
All :program-mode functions in a given world.
Typical Form:
(all-program-fns (w state))
The form (all-program-fns wrld) returns a duplicate-free list of all
:program-mode functions in the given ACL2 logical world,
wrld. Although any logical world is a legal input, performance is
generally fastest if the input is the current ACL2 world or a small extension
of it. For example, immediately after starting ACL2 we have measured the time
to execute (length (all-program-fns (w state))) as 0.01 seconds, and then
execution of (length (all-program-fns (cdr (w state)))) has taken over 3
seconds.
