Skip to main content

lean_is_string

lean_rs_sys::object

Function lean_is_string 

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

True if o is a string (lean.h:569).

ยงSafety

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