lean_io_check_canceled_core

lean_sys::task

Function lean_io_check_canceled_core 

Source 
pub unsafe extern "C" fn lean_io_check_canceled_core() -> bool
Expand description

primitive for implementing IO.checkCanceled : IO Bool