lean_task_get_own

lean_sys::task

Function lean_task_get_own 

Source 
pub unsafe fn lean_task_get_own(t: b_lean_obj_arg) -> lean_obj_res
Expand description

Primitive for implementing Task.get : Task A -> A