[Home] [prev] [up] [next]     ((test/species.as))

24.1 Test EmptySetSpecies

629⟨test EmptySetSpecies 629⟩≡   (626)
testEmptySetSpecies1(): () == check(
    EmptySetSpecies,
    [1, 0, 0, 0, 0],
    [1, 0, 0, 0, 0],
    [1$P, 0, 0, 0, 0]
);

Uses EmptySetSpecies 83.

[Home] [prev] [up] [next]     ((test/species.as))