Function symbol_check_result 

fn symbol_check_result(
    result: &SymbolCheckResult,
    name: &str,
    tp: Option<&TermContainer>,
    df: Option<&TermContainer>,
) -> impl Iterator<Item = STeXDiagnostic> + use<>