5 module U_pbinding where
6 import Ubiq -- debugging consistency check
9 import U_constr ( U_constr ) -- interface only
11 import U_coresyn ( U_coresyn ) -- ditto
12 import U_hpragma ( U_hpragma ) -- ditto
14 import U_literal ( U_literal ) -- ditto
15 import U_maybe ( U_maybe ) -- ditto
18 import U_ttype ( U_ttype ) -- ditto
21 pgrhs : < ggpat : tree;
27 pnoguards : < gpnoguard : tree; >;
28 pguards : < gpguards : list; >;
29 pgdexp : < gpguard : tree;