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.
Link to this function

get_forms_of_module(mod)

View Source

Retrieves the abstract code, i.e. the list of forms, of the given module as found in the code server.