6 import Ubiq -- debugging consistency check
13 tname : < gtypeid : qid; >;
14 namedtvar : < gnamedtvar : unkId; /* ToDo: rm unkIds entirely??? */ >;
15 tllist : < gtlist : ttype; >;
16 ttuple : < gttuple : list; >;
17 tfun : < gtin : ttype;
19 tapp : < gtapp : ttype;
21 tbang : < gtbang : ttype; >;
22 context : < gtcontextl : list;
23 gtcontextt : ttype; >;
25 unidict : < gunidict_clas : qid;
26 gunidict_ty : ttype; >;
27 unityvartemplate: <gunityvartemplate : unkId; >;
28 uniforall : < guniforall_tv : list;
29 guniforall_ty : ttype; >;