+++ /dev/null
-%{
-#include "hspincl.h"
-%}
-%{{
-module U_pbinding where
-import UgenUtil
-import Util
-
-import U_binding
-import U_coresyn ( U_coresyn ) -- interface only
-import U_hpragma ( U_hpragma ) -- interface only
-import U_list
-import U_literal ( U_literal ) -- ditto
-import U_treeHACK
-import U_ttype ( U_ttype ) -- ditto
-%}}
-type pbinding;
- pgrhs : < ggpat : tree;
- ggdexprs : list;
- ggbind : binding;
- ggfuncname : stringId;
- ggline : long; >;
-end;