%{ #include "hspincl.h" %} %{{ module U_entidt where #include "HsVersions.h" 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;