vidi::util::solver

Function get_term_args

Source
pub fn get_term_args<'a, 'b, const N: usize>(
    query: &'a UniverseQuery<'a>,
    term: &'b Term,
    name: &str,
) -> Option<[&'b Term; N]>
Expand description

Returns the exact number of arguments of term term if its name matches name.