DEFFACTS-MODULE

DEFFACTS-MODULE

Returns the module in which the specified deffacts is defined.

(deffacts-module <deffacts-name>)