Function chalk_parse::parser::__action174

fn __action174<'input>(
    input: &'input str,
    (_, _, _): (usize, &'input str, usize),
    (_, _, _): (usize, &'input str, usize),
    (_, s, _): (usize, ProjectionTy, usize),
    (_, _, _): (usize, &'input str, usize),
    (_, t, _): (usize, Ty, usize),
    (_, _, _): (usize, &'input str, usize),
) -> DomainGoal