![[Jenkins]](/xsemantics/static/f23f4299/images/svgs/logo.svg){kind=logo}
Test Result : LambdaTypeTest
0 failures
(±0)
19 tests
(±0)
All Tests
| Test name | Duration | Status |
|---|---|---|
| testAbstractionExplicitVariableType | 1 ms | Passed |
| testAbstractionImplicitVariableType | 2 ms | Passed |
| testAbstractionWithArithmetics | 33 ms | Passed |
| testApplicationType | 3 ms | Passed |
| testApplicationType2 | 2 ms | Passed |
| testArithmeticsConstantType | 3 ms | Passed |
| testArithmeticsFails | 1 ms | Passed |
| testArithmeticsWithTypeVariable | 2 ms | Passed |
| testCompose | 3 ms | Passed |
| testCompose2 | 4 ms | Passed |
| testCompose3 | 3 ms | Passed |
| testExplicitParamType | 1 ms | Passed |
| testExplicitVariableType | 1 ms | Passed |
| testImplicitParamType | 2 ms | Passed |
| testImplicitVariableType | 2 ms | Passed |
| testIntConstantType | 1 ms | Passed |
| testOmega | 5 ms | Passed |
| testOmega2 | 4 ms | Passed |
| testStringConstantType | 3 ms | Passed |