Function lean_sys::thunk::lean_obj_res
source · pub unsafe fn lean_obj_res(v: lean_obj_arg) -> lean_obj_resExpand description
Thunk.pure : A -> Thunk A
pub unsafe fn lean_obj_res(v: lean_obj_arg) -> lean_obj_resThunk.pure : A -> Thunk A