Function chalk_parse::parser::__action21

fn __action21<'input>(
    input: &'input str,
    (_, _, _): (usize, &'input str, usize),
    (_, _, _): (usize, &'input str, usize),
    (_, h, _): (usize, Vec<Clause>, usize),
    (_, _, _): (usize, &'input str, usize),
    (_, _, _): (usize, &'input str, usize),
    (_, g, _): (usize, Box<Goal>, usize),
    (_, _, _): (usize, &'input str, usize),
) -> Box<Goal>