Test Result : ImplicitOrderingSuite

0 failures (±0)

1 tests (±0)

All Tests

Test name	Duration	Status
basic inference of Orderings	0.15 sec	Passed