Function kailua_check::check_from_chunk_with_preloading [] [src]

pub fn check_from_chunk_with_preloading<R: Report>(
    context: &mut Context<R>,
    chunk: Chunk,
    opts: Rc<RefCell<Options>>,
    preload: &Preload
) -> Result<()>

Same to check_from_chunk but with preloading.