fn __action912(
cx: &mut ParseCtxt<'_>,
__0: (Location, Token, Location),
__1: (Location, Ident, Location),
__2: (Location, Token, Location),
__3: (Location, RefineParams, Location),
__4: (Location, Token, Location),
__5: (Location, Token, Location),
__6: (Location, Sort, Location),
__7: (Location, Token, Location),
) -> SpecFunc