fn __action165<'input>(
    input: &'input str,
    (_, _, _): (usize, &'input str, usize),
    (_, __0, _): (usize, Vec<QuantifiedWhereClause>, usize)
) -> Vec<QuantifiedWhereClause>