Function check_book 

pub fn check_book(
    book: &mut Book,
    diagnostics_cfg: DiagnosticsConfig,
    compile_opts: CompileOpts,
) -> Result<Diagnostics, Diagnostics>