Returns the list of all definstances in the specified module (or the current module if unspecified).
(get-definstances-list [<module-name>])