fn __action678(
cx: &mut ParseCtxt<'_>,
__0: (Location, Token, Location),
__1: (Location, Token, Location),
__2: (Location, Lit, Location),
__3: (Location, Token, Location),
) -> Result<BaseSort, ParseError<Location, Token, UserParseError>>