Function chalk_parse::parser::__action303

fn __action303<'input>(
    input: &'input str,
    (_, v, _): (usize, Vec<Box<Goal>>, usize),
    (_, _, _): (usize, &'input str, usize),
    (_, t, _): (usize, Box<Goal>, usize)
) -> Vec<Box<Goal>>