GET-DEFFACTS-LIST

GET-DEFFACTS-LIST

Returns the list of all deffacts in the specified module (or the current module if unspecified).

(get-deffacts-list [<module-name>])