Skip to main content

lean_is_closure

lean_rs_sys::object

Function lean_is_closure 

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

True if o is a closure object (lean.h:566).

ยงSafety

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