Skip to main content

lean_is_thunk

lean_rs_sys::object

Function lean_is_thunk 

Source 
pub unsafe fn lean_is_thunk(o: *mut lean_object) -> bool
Expand description

True if o is a thunk object (lean.h:571).

ยงSafety

o must be a valid non-scalar Lean heap object pointer.