PropCheck.Instrument.is_instrumented-question-mark
You're seeing just the function
is_instrumented-question-mark
, go back to PropCheck.Instrument module for more information.
Checks if the code is already instrumented. If not, returns false
otherwise returns true