660⟨* 13⟩+≡   ⊲626  669 ⊳
-------------------------------------------------------------------
----
---- Combinat
---- Copyright (C) Ralf Hemmecke <ralf@hemmecke.de>
---- Copyright (C) Martin Rubey <martin.rubey@univie.ac.at>
---- svn co svn://svn.risc.uni-linz.ac.at/hemmecke/combinat/
----
-------------------------------------------------------------------

#assert DontNeedLibraryTestCases
#include "testcases"

macro {
        A == PrimitiveArray I;
        P == Array List I;
}

TestPartition: TestCaseType with {
#include "par.signatures.as"
} == add {
        import from TestCaseTools;
        import from I, A, List A, P, List P, List I;
        ⟨auxiliary 628⟩
        ⟨test restricted growth array 661b⟩
        ⟨test set partition 666a⟩
}

Defines:
TestPartition, never used.

Uses Array 599 and I 47.