#include "Singular/lists.h"
#include "Singular/attrib.h"
#include "Singular/links/silink.h"
Go to the source code of this file.
Definition at line 16 of file idrec.h.