class TEST_FSET
Flattened version is
here
Ancestors
TEST
Public
Readonly Shareds
Writable Shareds
Features
main
sorted_arr(u: FSET{INT}): ARRAY{INT}
str(a: ARRAY{INT}): STR
test_size(sz1,sz2: INT)
****
Test against the behaviour of FSET which is assumed to be correct.
The Sather Home Page