Function get_app_term

pub fn get_app_term<'a, 'b>(
    query: &'a UniverseQuery<'a>,
    term: &'b Term,
) -> Option<(&'a str, &'b [Term])>

Returns the name of the term and its arguments, or None if the name doesn’t exist in this query.