lean_io_cancel_core

lean_sys::task

Function lean_io_cancel_core 

Source 
pub unsafe extern "C" fn lean_io_cancel_core(t: b_lean_obj_arg)
Expand description

primitive for implementing IO.cancel : Task a -> IO Unit