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.