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