Function lean_sys::int::lean_int_to_nat

source · 
pub unsafe fn lean_int_to_nat(a: lean_obj_arg) -> lean_obj_res