/* element.h */

typedef int ELEMENT;

extern const ELEMENT nullelement;
void printelement(ELEMENT x);
int elementless(ELEMENT x, ELEMENT y);
int elementsame(ELEMENT x, ELEMENT y);
ELEMENT copyelement(ELEMENT x);