%{ #include "hspincl.h" %} %{{ module U_either where import Ubiq -- debugging consistency check import UgenUtil %}} type either; left : < gleft : VOID_STAR; > ; right : < gright : VOID_STAR; > ; end;