5 module U_pbinding where
6 import Ubiq -- debugging consistency check
9 import U_constr ( U_constr ) -- interface only
12 import U_literal ( U_literal ) -- ditto
13 import U_maybe ( U_maybe ) -- ditto
16 import U_ttype ( U_ttype ) -- ditto
19 pgrhs : < ggpat : tree;
25 pnoguards : < gpnoguard : tree; >;
26 pguards : < gpguards : list; >;
27 pgdexp : < gpguard : tree;