5 #include "HsVersions.h"
8 IMP_Ubiq() -- debugging consistency check
15 tname : < gtypeid : qid; >;
16 namedtvar : < gnamedtvar : qid; >;
17 tllist : < gtlist : ttype; >;
18 ttuple : < gttuple : list; >;
19 tfun : < gtin : ttype;
21 tapp : < gtapp : ttype;
23 tbang : < gtbang : ttype; >;
24 context : < gtcontextl : list;
25 gtcontextt : ttype; >;