fn __action31( cx: &mut ParseCtxt<'_>, (_, segments, _): (Location, Vec<Ident>, Location), (_, args, _): (Location, Option<Vec<BaseSort>>, Location), ) -> BaseSort