Function chalk_parse::parser::__action20
source ยท fn __action20<'input>(
input: &'input str,
(_, _, _): (usize, &'input str, usize),
(_, _, _): (usize, &'input str, usize),
(_, p, _): (usize, Vec<VariableKind>, usize),
(_, _, _): (usize, &'input str, usize),
(_, _, _): (usize, &'input str, usize),
(_, g, _): (usize, Box<Goal>, usize),
(_, _, _): (usize, &'input str, usize),
) -> Box<Goal>