result = pyimport "./result" .TextTestResult!: ClassType .TextTestResult! <: result.TestResult! .TextTestRunner!: ClassType