5 module U_pbinding where
10 import U_coresyn ( U_coresyn ) -- interface only
11 import U_hpragma ( U_hpragma ) -- interface only
13 import U_literal ( U_literal ) -- ditto
15 import U_ttype ( U_ttype ) -- ditto
18 pgrhs : < ggpat : tree;
21 ggfuncname : stringId;