Function __action23

fn __action23(
    cx: &mut ParseCtxt<'_>,
    (_, _, _): (Location, Token, Location),
    (_, name, _): (Location, Ident, Location),
    (_, vars, _): (Location, Option<Vec<Ident>>, Location),
    (_, _, _): (Location, Token, Location),
    (_, params, _): (Location, RefineParams, Location),
    (_, _, _): (Location, Token, Location),
    (_, _, _): (Location, Token, Location),
    (_, output, _): (Location, Sort, Location),
    (_, _, _): (Location, Token, Location),
    (_, body, _): (Location, Expr, Location),
    (_, _, _): (Location, Token, Location),
) -> SpecFunc