/*
** SpeciesSet.rh - rep for SpeciesSet
**
** We put this in a separate file, since it is not part of the client
** interface to SpeciesSet.
*/

typedef struct s_SpeciesSet_rep *SpeciesSet;

typedef struct s_SpeciesSetNode {
    /*@dependent@*/ Species member;
    /*@null@*/ /*@only@*/ struct s_SpeciesSetNode *next;
} *SpeciesSetNode;

struct s_SpeciesSet_rep {
    /*@null@*/ /*@only@*/ struct s_SpeciesSetNode *first;
} ;