Function __action21

fn __action21(
    cx: &mut ParseCtxt<'_>,
    (_, __0, _): (Location, SortDecl, Location),
) -> Item