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