fn __action413( cx: &mut ParseCtxt<'_>, __0: (Location, Token, Location), __1: (Location, RefineParam, Location), __2: (Location, Token, Location), ) -> Option<RefineParam>