Searched defs:PatSynCon (Results 1 – 6 of 6) sorted by relevance
56 | PatSynCon PatSyn constructor
54 | PatSynCon PatSyn constructor
114 PatSynCon psyn -> alt{ alt_pat = psyn } function
1100 | PatSynCon psyn <- con = PgSyn psyn tys function
58 | PatSynCon PatSyn constructor