Function __action37

fn __action37(
    cx: &mut ParseCtxt<'_>,
    (_, lo, _): (Location, Location, Location),
    (_, _, _): (Location, Token, Location),
    (_, name, _): (Location, Ident, Location),
    (_, _, _): (Location, Token, Location),
    (_, params, _): (Location, RefineParams, Location),
    (_, _, _): (Location, Token, Location),
    (_, _, _): (Location, Token, Location),
    (_, output, _): (Location, BaseSort, Location),
    (_, _, _): (Location, Token, Location),
    (_, body, _): (Location, Expr, Location),
    (_, _, _): (Location, Token, Location),
    (_, hi, _): (Location, Location, Location),
) -> ImplAssocReft