fn __action760( cx: &mut ParseCtxt<'_>, __0: (Location, Option<ParamMode>, Location), __1: (Location, Ident, Location), __2: (Location, Token, Location), __3: (Location, Sort, Location), ) -> RefineParam