Skip to main content

lean_is_mpz

lean_rs_sys::object

Function lean_is_mpz 

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

True if o is an MPZ (big integer) object (lean.h:570).

ยงSafety

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