Function chalk_parse::parser::__action160

fn __action160<'input>(
    input: &'input str,
    (_, _, _): (usize, &'input str, usize),
    (_, _, _): (usize, &'input str, usize),
    (_, pk, _): (usize, Vec<VariableKind>, usize),
    (_, _, _): (usize, &'input str, usize),
    (_, _, _): (usize, &'input str, usize),
    (_, c, _): (usize, Clause, usize),
    (_, _, _): (usize, &'input str, usize),
) -> Clause