fn __action180(
cx: &mut ParseCtxt<'_>,
(_, lo, _): (Location, Location, Location),
(_, mode, _): (Location, Option<ParamMode>, Location),
(_, ident, _): (Location, Ident, Location),
(_, _, _): (Location, Token, Location),
(_, sort, _): (Location, Sort, Location),
(_, hi, _): (Location, Location, Location),
) -> RefineParam