↰
base.test.Mainbase.test.FTestResult/0base.test.FTestResultKind/0base.test.FTestResults/0base.test.FTestRunner/0base.test.Main/0base.test.ResultPrinter/0base.test.ResultPrinters/0base.test.ResultReporter/0base.test.Test/0base.test.TestResult/0base.test.TestResultKind/0base.test.TestResultKindMatcher/1base.test.TestResults/0base.test.TestRunner/0base.test.TestSuite/0imm .testMain(system: iso base.caps.System, runner: iso base.test.TestRunner): imm base.List[read base.test.TestResults],
imm #(sys: mut base.caps.System): imm base.Void -> …,
imm .testMain(system: iso base.caps.System, runner: iso base.test.TestRunner): imm base.List[read base.test.TestResults],
imm #(sys: mut base.caps.System): imm base.Void -> …,