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