static Cl>> dm_topDownParseToGroupings_withUsedPatterns(S input, Cl patterns) { replace GroupingAndPatterns with Pair>. S parser = dm_makeModule("#1027108/TopDownParsing"); ret (Cl) dm_callWithImport(parser, 'parseToGroupingsWithUsedPatterns, input, +patterns); }