Function lean_sys::task::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