PropCheck.Instrument.get_forms_of_module
You're seeing just the function
get_forms_of_module
, go back to PropCheck.Instrument module for more information.
Retrieves the abstract code, i.e. the list of forms, of the given module as found in the code server.