%{ #include "hspincl.h" %} %{{ #include "HsVersions.h" module U_entidt where IMP_Ubiq() -- debugging consistency check import UgenUtil import U_list import U_qid %}} type entidt; entid : < gentid : qid; >; enttype : < gtentid : qid; >; enttypeall : < gaentid : qid; >; enttypenamed : < gnentid : qid; gnentnames : list; >; entmod : < gmentid : stringId; >; end;