6 import Ubiq -- debugging consistency check
15 /* constr in prefix form: */
16 constrpre : < gconcid : qid;
17 gconctypel : list; /* [ttype] */
20 /* constr in infix form: */
21 constrinf : < gconity1 : ttype;
26 /* constr in record form: */
27 constrrec : < gconrid : qid;
28 gconrfieldl : list; /* [field] */
31 /* constr in simple "newtype" form: */
32 constrnew : < gconnid : qid;
36 field : < gfieldn : list;