fn __action165( cx: &mut ParseCtxt<'_>, (_, _, _): (Location, Token, Location), (_, __0, _): (Location, Vec<BaseSort>, Location), (_, _, _): (Location, Token, Location), ) -> Vec<BaseSort>