#include "hspincl.h"
%}
%{{
-#include "HsVersions.h"
module U_constr where
-IMP_Ubiq() -- debugging consistency check
+
+#include "HsVersions.h"
+
import UgenUtil
import U_maybe
gconnty : ttype;
gconnline : long; >;
+ /* constr with a prefixed context C => ... */
+ constrcxt : < gconcxt : list;
+ gconcon : constr; >;
+
field : < gfieldn : list;
gfieldt : ttype; >;
end;